Computer Science Logic

DOI10.1007/11538363zbMath1136.68410OpenAlexW2479351976MaRDI QIDQ5394574

Frédéric Blanqui

Publication date: 1 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11538363

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Size-based termination of higher-order rewriting ⋮ Type-based termination of generic programs ⋮ On the Relation between Sized-Types Based Termination and Semantic Labelling

Uses Software

• Automath

This page was built for publication: Computer Science Logic