CiteSeerX — Citation Query Analysis of polymorphically typed logic programs using ACI-unification. Long version of [9], available via CoRR: http://arXiv.org/archive/cs/intro.html

Analysis of polymorphically typed logic programs using ACI-unification. Long version of [9], available via CoRR: http://arXiv.org/archive/cs/intro.html (2001)

by J-G Smaus

Add To MetaCart

Results 1 - 1 of 1

Logic and Abstraction, Verification and Falsification

by Jan-georg Smaus , 2008

"... ..."

Abstract - Add to MetaCart

Abstract not found