scientific article; zbMATH DE number 1980922

MaRDI QIDQ4428296zbMATH OpenFDO

Authors Gilles Dowek, Thérèse Hardin, Claude Kirchner

Publication date 15 September 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2514/25140130.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Classical first-order logic (03B10) Logic in computer science (03B70)

Recommendations

• Binding forms in first-order logic
• scientific article; zbMATH DE number 6304248
• Fresh logic: Proof-theory and semantics for FM and nominal techniques
• Categorial fibring of logics with terms and binding operators
• Publication:4941999

Cited in

(5)

• scientific article; zbMATH DE number 4037808 (Why is no real title available?)
• Term-Generic Logic
• scientific article; zbMATH DE number 5840258 (Why is no real title available?)
• Term-generic logic
• Capture-avoiding substitution as a nominal algebra

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4428296)