Export 77 results:
Filters: Type is Conference Paper  [Clear All Filters]
Alberucci, L.: Strictness of the modal $μ$-calculus hierarchy. In: Grädel, E., Thomas, W., and Wilke, T. Automata, Logics and infinite Games: A Guide to Current Research. pp. 185-201. Springer (2002).
Jäger, G., Strahm, T.: The proof-theoretic analysis of the Suslin operator in applicative theories. In: Sieg, W., Sommer, R., and Talcott, C. Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman. pp. 270-292. AK Peters (2002).
Studer, T.: Constructive foundations for Featherweight Java. In: Kahle, R., Schroeder-Heister, P., and Stärk, R.F. Proceedings of the International Seminar on Proof Theory in Computer Science. pp. 202-238. Springer (2001).
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., Heinle, W., Schlingloff, H.: Model checking. In: Robinson, A. and Voronkov, A. Handbook of Automated Reasoning. pp. 1635-1790. Elsevier Science (1997).
Jäger, G.: Some proof theory of first order logic programming. In: Schwichtenberg, H. Logic of Computation. pp. 201-228. Springer (1997).
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).
Heuerding, A., Jäger, G., Schwendimann, S., Seyfried, M.: Propositional logics on the computer. In: Baumgartner, P., Hähnle, R., and Posegga, J. Proceedings of Theorem Proving with Analytic Tableaux and Related Methods. pp. 310-323. Springer (1995).
Heinle, W., Schlingloff, B.-H.: Relational semantics for modal logics. In: Rodosek, R. Proceedings of Verification in New Orientations. pp. 104-131. University of Maribor (1995).
Bütler, B., Esser, R., Jäger, G., Künzi, U.-M., Lienhard, H., Mattmann, R.: Executable models for analysis and implementation of complex systems. Proceedings of Information Conference of Swiss Priority Programme Informatics Research 1992–1996, Module 1: Secure Distributed Systems (1994).
Jäger, G.: Some proof-theoretic aspects of logic programming. In: Bauer, F.L., Brauer, W., and Schwichtenberg, H. Logic and Algebra of Specification. pp. 113-142. Springer (1993).