Foundations of Proof Search Strategies Design in Linear Logic

Authors:
Didier Galmiche;Guy Perrier
Affiliations:
-;-
Venue:
LFCS '94 Proceedings of the Third International Symposium on Logical Foundations of Computer Science
Year:
1994

Citing 0
Cited 2

A specification logic for concurrent object-oriented programming

Mathematical Structures in Computer Science
A focusing inverse method theorem prover for first-order linear logic

CADE' 20 Proceedings of the 20th international conference on Automated Deduction

Quantified Score

Hi-index	0.00

Visualization

Abstract