Home
Catalogue search
Refine your search:
Keyword
Creator / Publisher
Year:
2010 (1)
2009 (1)
2008 (2)
2004 (1)
2002 (2)
1999 (1)
Medium
Type
BLLDB-Access:
free (8)
subject to license (0)
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Hits 1 – 8 of 8
1
Recursion, infinity, and modeling
Tiede, Hans-Joerg
;
Stout, Lawrence Neff
In:
Recursion and human language
(Berlin, 2010), p. 147-158
MPI für Psycholinguistik
Show details
2
Monadic second-order logic and transitive closure logics over trees
Tiede, Hans-Joerg
;
Kepser, Stephan
In:
Research on language and computation. - London : King's College
7 (2009) 1, 41-54
BLLDB
OLC Linguistik
Show details
3
Inessential features, ineliminable features, and modal logics for model theoretic syntax
Tiede, Hans-Joerg
In:
Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer
17 (2008) 2, 217-227
Keyword:
Grammatiktypen (Computerlinguistik)
;
Modale Logik
;
Prädikatenlogik
BLLDB
OLC Linguistik
Hide details
4
Book Review
Tiede, Hans-Jörg
In:
Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer
17 (2008) 2, 233
OLC Linguistik
Show details
5
The Mathematics of Language
Kracht, Marcus
;
Tiede, Hans-Jörg
In:
Computational linguistics. - Cambridge, Mass. : MIT Press
30 (2004) 4, 513-515
OLC Linguistik
Show details
6
Proof tree automata
Tiede, Hans-Joerg
In:
Words, proofs, and diagrams
(Stanford, 2002), p. 143-162
MPI für Psycholinguistik
Show details
7
Words, proofs, and diagrams
Tiede, Hans-Joerg
(Mitarb.);
Lemon, Oliver
(Mitarb.);
Koller, Alexander
(Mitarb.). - Stanford, Calif. : Univ., Center for the Study of Language and Information, 2002
BLLDB
UB Frankfurt Linguistik
Show details
8
Basic Simple Type Theory, J. Roger Hindley
Tiede, Hans-Joerg
In:
Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer
8 (1999) 4, 473-475
OLC Linguistik
Show details
Mobile view
All
Catalogues
UB Frankfurt Linguistik
1
IDS Mannheim
0
OLC Linguistik
5
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
3
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
2
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
0
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern