scientific article; zbMATH DE number 1980922

zbMATH Open1023.03023MaRDI QIDQ4428296FDOQ4428296

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• Capture-avoiding substitution as a nominal algebra
• Term-Generic Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Term-generic logic

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)