Volume 12, Number 1, 1994
Volume 12, Number 2, 1994
Volume 12, Number 3, 1994
The information on this page was provided by Camilla Schwind.
Last update Fri May 24 20:31:35 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page
- Tanel Tammet:
Proof Sytrategies in Linear Logic.
- Louiqa Raschid, Jorge Lobo:
A Semantics for a Class of Non-Deterministic and Causal Production System Programs.
- Giuseppa Carrà Ferro:
An Extension of a Procedure to Prove Statements in Differential Geometry.
- Shie-Jue Lee, Chih-Hung Wu:
Improving the Efficiency of a Hyperlinking-Based Theorem Prover by Incremental Evaluation with Network Structures.
- Zhenyu Qian, Tobias Nipkow:
Reduction and Unification in Lambda Calculi with a General Notion of Subtype.