Person:1129120

Available identifiers

zbMath Open janssen.theo-m-vMaRDI QIDQ1129120

List of research outcomes

Publication	Date of Publication	Type
Compositional natural language semantics using independence friendly logic or dependence logic	2013-06-13	Paper
The graviton one-loop effective action in cosmological space-times with constant deceleration	2010-05-19	Paper
Equivalence and quantifier rules for logic with imperfect information	2009-03-11	Paper
Infrared propagator corrections for constant deceleration	2009-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q5755192	2007-08-20	Paper
Independent choices and the interpretation of IF logic	2002-08-20	Paper
Frege, contextuality and compositionality	2001-02-18	Paper
Algebraic translations, correctness and algebraic compiler construction	1998-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q3712304	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3741611	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5184892	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3944034	1982-01-01	Paper
Logical investigations on PTQ arising from programming requirements	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3206335	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4124287	1977-01-01	Paper
On restrictions on transformational grammars reducing the generative power	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138097	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4061988	1975-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Theo M. V. Janssen