Zoekresultaten
Resultaat 1 - 6 (van 6)
Maarten Marx | Szabolcs Mikulás An elementary construction for a non-elementary procedure
Non-fictie
Engels | 9 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Maarten Marx | Szabolcs Mikulás Products, or How to create modal logics of high complexity
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Maarten Marx | Szabolcs Mikulás | M.C. Reynolds The mosaic method for temporal logics
Non-fictie
Engels | 14 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek
Maarten Marx | S. Schlobach | Szabolcs Mikulás Two-dimensional labelled deduction
Non-fictie
Engels | 18 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek
Maarten Marx | Szabolcs Mikulás | I. Németi Taming arrow logic
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1994
Gedrukt boek
Maarten Marx | S. Schlobach | Szabolcs Mikulás Labelled deduction for the guarded fragment
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek