Searching for authors named "Andreas Nonnengart" – sorted by Relevance.
-
Auxiliary Modal Operators and the Characterization of Modal Frames
- Auxiliary Modal Operators and the Characterization of Modal Frames Andreas Nonnengart MPI--I--96
- Add To MetaCart
-
Strong Skolemization
- Strong Skolemization Andreas Nonnengart Max-Planck-Institut fur Informatik and Saarbrucken
- Add To MetaCart
-
Modalities in Knowledge Representation
- Modalities in Knowledge Representation Ullrich Hustadt and Andreas Nonnengart Max
- Cited by 14 (4 self) – Add To MetaCart
-
MOTEL User Manual Version 0.8.2
- MOTEL User Manual Version 0.8.2 (February 1994) Ullrich Hustadt Andreas Nonnengart Renate Schmidt
- Add To MetaCart
-
A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory
- Theory Andreas Nonnengart and Andrzej Sza/las MPI--I--95--2-007 March Author's Address Andreas
- Cited by 14 (3 self) – Add To MetaCart
-
On Generating Small Clause Normal Forms
- On Generating Small Clause Normal Forms Andreas Nonnengart 1 , Georg Rock 2 , and Christoph
- Cited by 69 (2 self) – Add To MetaCart
-
Discretionary Information Flow Control (MU)
- Nonnengart Christian Stble Roland Vogt Common Criteria Protection Profile 01345-DIC-MU Common Criteria
- Add To MetaCart
-
Logic, Language and Reasoning - Essays in Honour of Dov Gabbay
- urgen Ohlbach ELIMINATION OF PREDICATE QUANTIFIERS ANDREAS NONNENGART, HANS J URGEN OHLBACH AND ANDRZEJ SZA
- Add To MetaCart

