Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Arild Waaler
Joint Papers
Confluent Term Rewriting for Only-knowing Logics
Proof Search for the First-Order Connection Calculus in Maude
Representing Strategies for the Connection Calculus in Rewriting Logic
Cite
×