Search

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

© 2022 Einar Broch Johnsen. This work is licensed under CC BY NC ND 4.0

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite