# Publications

Export 292 results:
1997
: Hybrid spectral transform diagrams. In: Proceedings of the International Conference on Information and Communications Security. pp. 251-255. Springer (1997).
: Model checking. In: Handbook of Automated Reasoning. pp. 1635-1790. Elsevier Science (1997).
Strahm, T.: Polynomial time operations in explicit mathematics. The Journal of Symbolic Logic. 62, 575-594 (1997).
Jäger, G.: Power types in explicit mathematics?. The Journal of Symbolic Logic. 62, 1142-1146 (1997).
: Relations between propositional normal modal logics: an overview. Journal of Logic and Computation. 7, 649-658 (1997).
Jäger, G.: Some proof theory of first order logic programming. In: Schwichtenberg, H. Logic of Computation. pp. 201-228. Springer (1997).
1996
: A logics workbench. The European Journal on Artificial Intelligence. 9, 53-58 (1996).
: Efficient loop-check for backward proof search in some non-classical propositional logics. In: Proceedings of Tableaux '96. pp. 210-225. Springer (1996).
Heuerding, A.: LWBtheory: information about some propositional logics via the WWW. Journal of the Interest Group in Pure and Applied Logic. 4, 196-174 (1996).
: On the modal logic K plus theories. In: Büning, H.K. Proceedings of Computer Science Logic '95. pp. 308-319. Springer (1996).
Strahm, T.: Partial applicative theories and explicit substitutions. Journal of Logic and Computation. 6, 55-77 (1996).
: Some theories with positive induction of ordinal strength $\varphi \omega 0$. The Journal of Symbolic Logic. 61, 818-842 (1996).
: Systems of explicit mathematics with non-constructive $μ$-operator and join. Annals of Pure and Applied Logic. 82, 193-219 (1996).
: Systems of explicit mathematics with non-constructive $μ$-operator. Part II. Annals of Pure and Applied Logic. 79, 37-52 (1996).
: The logics workbench LWB: a snapshot. Euromath Bulletin. 2, 177-186 (1996).
1995
Jäger, G.: A deductive approach to logic programming. In: Schwichtenberg, H. Proof and Computation. pp. 231-270. Springer (1995).