Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Bjarne Holen
Joint Papers
Proof Search for the First-Order Connection Calculus in Maude
Representing Strategies for the Connection Calculus in Rewriting Logic
Cite
×