scientific article; zbMATH DE number 3548479

zbMath0352.68110MaRDI QIDQ4122847

Gianfranco Prini, M. Aiello, Giuseppe Attardi, Luigia Carlucci Aiello

Publication date: 1976

Full work available at URL: http://www.numdam.org/item?id=ASCFM_1976__60_13_31_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Uses Software

• LCF
• MAGMA-Lisp

Cites Work

• PASCAL in LCF: Semantics and examples of proof
• A Machine-Oriented Logic Based on the Resolution Principle
• The Calculi of Lambda Conversion. (AM-6)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: