Publication:4202960

zbMath0819.68080MaRDI QIDQ4202960

Jerzy Tyszkiewicz

Publication date: 6 September 1993

zbMATH Keywords

transitive closure logic; random structure theory

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

03B70: Logic in computer science

68Q65: Abstract data types; algebraic specification