scientific article; zbMATH DE number 3548479

zbMATH Open0352.68110MaRDI QIDQ4122847FDOQ4122847

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

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Cites Work

• A Machine-Oriented Logic Based on the Resolution Principle
• Title not available (Why is that?)
• The Calculi of Lambda Conversion. (AM-6)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• PASCAL in LCF: Semantics and examples of proof

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)