Proceedings of the Third International Workshop on Frontiers of Combining Systems

Authors:
Hélène Kirchner;Christophe Ringeissen
Affiliations:
-;-
Venue:
FroCoS '00 Proceedings of the Third International Workshop on Frontiers of Combining Systems
Year:
2000

Citing 0
Cited 3

Proof Development with Omega-MEGA: sqrt(2) Is Irrational

LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
PROSPER - An Investigation into Software Architecture for Embedded Proof Engines

FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
ε-connections of abstract description systems

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract