Primary tabs

Most recent publications

O. Lysne

Heuristics for Completion in Automatic Proofs by Structural Induction

Nordic Journal of Computing 1 (1994): 135-156,.
Journal Article
1994
View
O. Lysne

Extending Bachmair's Method for Proof by Consistency to the Final Algebra

Information Processing Letters 51, no. 6 (1994): 303-310,.
Journal Article
1994
View

News

22 October 2019
People
Ioana Livadariu has defended her PhD

Ioana Livadariu successfully defended her PhD

Find publication

Status

Departments

Publication type

Year published