Zoekresultaten
Resultaat 1 - 15 (van 15)
Carlos Areces | Patrick Blackburn | Maarten Marx Repairing the interpolation theorem in quantified modal logic
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Carlos Areces | Patrick Blackburn | Maarten Marx Complexity results for hybrid temporal logics
Non-fictie
Engels | 27 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek
Carlos Areces | Patrick Blackburn | Maarten Marx Hybrid logics
characterization, interpolation and complexity
Non-fictie
Engels | 35 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek
Carlos Areces | Hans de Nivelle | M. de Rijke Prefixed resolution
a resolution method for modal and description logics
Non-fictie
Engels | 15 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek
Carlos Areces | Dick de Jongh | Eva Hoogland The interpolation theorem for IL and ILP
Non-fictie
Engels | 17 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Carlos Areces | Verónica Becher Iterable AGM functions
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Carlos Areces | Verónica Becher | Sebastián Ferro Characterization results for d-Horn formulas
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Carlos Areces | M. de Rijke Expressiveness revisited
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Carlos Areces | J.M. Heguiabehere HyLoRes: a hybrid logic prover based on direct resolution
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Carlos Areces | Hans de Nivelle | M. de Rijke Resolution in modal, description and hybrid logic
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Carlos Areces | M. de Rijke | Gabriel Infante-Lopez Decomposing modal logic
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Carlos Areces | R. Bernardi Analyzing the core of categorial grammar
Non-fictie
Engels | 24 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Carlos Areces | Patrick Blackburn | Maarten Marx The computational complexity of hybrid temporal logics
Non-fictie
Engels | 27 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Carlos Areces Logic engineering
the case of description and hybrid logics
Non-fictie
Engels | 154 pagina's | Institute for Logic, Language and Computation, Amsterdam | 2000
Gedrukt boek
Maarten Marx | Carlos Areces Failure of interpolation in combined modal logics
Non-fictie
Engels | 22 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek