DE eng

Search in the Catalogues and Directories

Hits 1 – 4 of 4

1
Logic, Language, Information and Computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings
Ono, Hiroakira; Kanazawa, Makoto; de Queiroz, Ruy. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
UB Frankfurt Linguistik
Show details
2
Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL"V"
In: Studia logica. - Dordrecht : Springer Science + Business Media 71 (2002) 2, 227-245
BLLDB
Show details
3
The Tbilisi symposium on logic, language and computation : 19-22 October 1995, Gudauri, Georgia. Selected papers
Ginzburg, Jonathan (Hrsg.); Amsili, Pascal (Mitarb.); Le Draoulec, Anne (Mitarb.). - Stanford, Calif. : Center for the Study of Language and Information, 1998
BLLDB
Show details
4
Semantical analysis of predicate logics without the contraction rule
In: Studia logica. - Dordrecht : Springer Science + Business Media 44 (1985) 2, 187-196
BLLDB
Show details

Catalogues
1
0
0
0
0
0
0
Bibliographies
3
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
0
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern