DE eng

Search in the Catalogues and Directories

Hits 1 – 7 of 7

1
Text Structure and Proof Structure
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 9 (2000) 3, 273-312
OLC Linguistik
Show details
2
Variables as Stacks
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 9 (2000) 2, 143-168
OLC Linguistik
Show details
3
Representing discourse in context
In: Handbook of logic and language (Amsterdam [etc.], 1997), p. 179-238
MPI für Psycholinguistik
Show details
4
Dynamic bracketing and discourse representation
Vermeulen, C.F.M.; Visser, Albert. - Utrecht : Utrecht University, 1995
MPI für Psycholinguistik
Show details
5
Proofs as texts : dynamic proof therapy for intuitionistic propositional logic
Vermeulen, C.F.M.. - Utrecht : Onderzoeksinstituut voor Taal en Spraak, 1993
MPI für Psycholinguistik
Show details
6
Incremental semantics for propositional texts
Vermeulen, C.F.M.. - Utrecht : Onderzoeksinstituut voor Taal en Spraak, 1993
MPI für Psycholinguistik
Show details
7
Merging without mystery or : Variables in dynamic semantics
Vermeulen, C.F.M.. - Utrecht : Onderzoeksinstituut voor Taal en Spraak, 1991
MPI für Psycholinguistik
Show details

Catalogues
0
0
2
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
5
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