Christian Urban

Filter

2006
A recursion combinator for nominal datatypes implemented in Isabelle/HOL
Urban, C. & Berghofer, S., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4130 LNAI. p. 498-512 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution
29 Citations (Scopus)

Research output