Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Authors:
Dieter Hutter;Werner Stephan
Affiliations:
-;-
Venue:
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Year:
2005

Citing 0
Cited 2

Shallow confluence of conditional term rewriting systems

Journal of Symbolic Computation
On the architecture of system verification environments

HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing

Quantified Score

Hi-index	0.00

Visualization

Abstract