scientific article; zbMATH DE number 3486019

MaRDI QIDQ4068900zbMATH OpenFDO

Authors José Meseguer, Michael Pfender, Ignacio Sols, Wolfgang Kühnel

Publication date 1976

Mathematics Subject Classification ID

Computability and recursion theory (03D99) Foundations, relations to logic and deductive systems (18A15) Algorithms in computer science (68W99)

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