Publications

Export 291 results:
1997
Studer, T.: Explicit Mathematics: W-type, Models. (1997).
Clarke, E.E., Fujita, M., Heinle, W.: Hybrid spectral transform diagrams. In: Han, Y., Okamoto, T., and Qing, S. Proceedings of the International Conference on Information and Communications Security. pp. 251-255. Springer (1997).
Clarke, E.E., Fujita, M., Heinle, W.: Hybrid spectral transform diagrams. (1997).
Heinle, W., Schlingloff, H.: Modal rule correspondences. (1997).
Clarke, E.E., Heinle, W., Schlingloff, H.: Model checking. In: Robinson, A. and Voronkov, A. 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).
Goré, R., Heinle, W., Heuerding, A.: 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).
Kahle, R.: Uniform limit in explicit mathematics with universes. (1997).
1996
Heuerding, A., Schwendimann, S.: A benchmark method for the propositional modal logics K, KT, S4. (1996).
Heuerding, A., Jäger, G., Schwendimann, S., Seyfried, M.: A logics workbench. The European Journal on Artificial Intelligence. 9, 53-58 (1996).
Heuerding, A., Seyfried, M., Zimmermann, H.: Efficient loop-check for backward proof search in some non-classical propositional logics. In: Miglioli, P., Moscato, U., Mundici, D., and Ornaghi, M. Proceedings of Tableaux '96. pp. 210-225. Springer (1996).
Kahle, R.: Frege structures for partial applicative theories. (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).
Heuerding, A., Schwendimann, S.: 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.: On the Proof Theory of Applicative Theories. (1996).
Strahm, T.: Partial applicative theories and explicit substitutions. Journal of Logic and Computation. 6, 55-77 (1996).
Jäger, G., Strahm, T.: Some theories with positive induction of ordinal strength $\varphi \omega 0$. The Journal of Symbolic Logic. 61, 818-842 (1996).
Glass, T., Strahm, T.: Systems of explicit mathematics with non-constructive $μ$-operator and join. Annals of Pure and Applied Logic. 82, 193-219 (1996).
Feferman, S., Jäger, G.: Systems of explicit mathematics with non-constructive $μ$-operator. Part II. Annals of Pure and Applied Logic. 79, 37-52 (1996).
Heuerding, A., Jäger, G., Schwendimann, S., Seyfried, M.: The logics workbench LWB: a snapshot. Euromath Bulletin. 2, 177-186 (1996).
Kahle, R.: Universes over Frege Structures. (1996).
1995
Jäger, G.: A deductive approach to logic programming. In: Schwichtenberg, H. Proof and Computation. pp. 231-270. Springer (1995).
Heuerding, A., Jäger, G., Schwendimann, S., Seyfried, M.: LWB - a logics workbench, extended abstract. In: Dreschler-Fischer, L. and Pribbenow, S. Proceedings of KI-95 Activities: Workshop, Posters, Demos. pp. 73-74. Gesellschaft für Informatik (1995).

Pages