scientific article; zbMATH DE number 3548479

MaRDI QIDQ4122847zbMATH OpenFDO

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

Publication date 1976

Full work available at URL http://www.numdam.org/item?id=ASCFM_1976__60_13_31_0, https://eudml.org/doc/80436

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Cites work

• scientific article; zbMATH DE number 4053565 (Why is no real title available?)
• scientific article; zbMATH DE number 3466555 (Why is no real title available?)
• scientific article; zbMATH DE number 3566824 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• PASCAL in LCF: Semantics and examples of proof
• The Calculi of Lambda Conversion. (AM-6)

Describes a project that uses

Uses Software

• LCF
• MAGMA-Lisp

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 Q4122847)