Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Journal Full Title / ISSN | Year | Author/Editor | Title | |||||
---|---|---|---|---|---|---|---|---|
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
Journal of Logic and Computation 0955-792X | 2000 | Bugliesi, Michele Delzanno, Giorgio Liquori, Luigi Martelli, Maurizio | Object Calculi in Linear Logic In: Journal of Logic and Computation [10], 75-104 | |||||
Journal of Logic and Computation 0955-792X | 1997 | Basin, David A. Matthews, Seán Viganò, Luca | Labelled Propositional Modal Logics: Theory and Practice In: Journal of Logic and Computation [7], 685-717 | |||||
Journal of Logic and Computation 0955-792X | 1997 | Ohlbach, Hans Jürgen Schmidt, Renate A. | Functional Translation and Second-Order Frame Properties of Modal Logics In: Journal of Logic and Computation [7], 581-603 | |||||
Journal of Logic and Computation 0955-792X | 1996 | Basin, David A. Matthews, Seán | Adding Metatheoretic facilities to First-order Theories In: Journal of Logic and Computation [6], 835-849 | |||||
Journal of Logic and Computation 0955-792X | 1994 | Bachmair, Leo Ganzinger, Harald | Rewrite-based equational theorem proving with selection and simplification In: Journal of Logic and Computation [4], 217-247 | |||||
Journal of Logic and Computation 0955-792X | 1991 | Ohlbach, Hans Jürgen | Semantics Based Translation Methods for Modal Logics In: Journal of Logic and Computation [1], 691-746 | |||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
|