Mino Bai

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1992

1 Mino Bai, Howard A. Blair: General Model Theoretic Semantics for Higher-Order Horn Logic Programming. LPAR 1992: 320-331

	1992
1		Mino Bai, Howard A. Blair: General Model Theoretic Semantics for Higher-Order Horn Logic Programming. LPAR 1992: 320-331

Coauthor Index