zbMath0516.68061MaRDI QIDQ3664452
Piotr Rudnicki, Jacek Leszczylowski
Publication date: 1983
zbMATH Keywords
future; expressive power; MIZAR; AUTOMATH; convenience of conducting the proofs; convenience of problem formulation; EDINBURGH LCF; EDSET; example from arithmetic
Mathematics Subject Classification ID
68Q45: Formal languages and automata
68Q65: Abstract data types; algebraic specification
Uses Software