A Calculus for Type Predicates and Type Coercion
Paper i proceeding, 2005

Författare

Martin Giese

Chalmers, Data- och informationsteknik, Datavetenskap

utomated Reasoning with Analytic Tableaux and Related Methods, Tableaux 2005, Lecture Notes in Computer Science

Vol. 3702 123-137

Ämneskategorier

Data- och informationsvetenskap