You are not logged in | Log in

PL /
EN

Journal: COMPUTING AND INFORMATICS

Number of publications: 2

2019

Son Thanh Cao, Anh Linh Nguyen , Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases, COMPUTING AND INFORMATICS, 38 2019, p. 19--56. See in PBN

2003

Anne Haxthausen, Till Mossakowski, Donald Sannella, Andrzej Tarlecki , CASL --- The Common Algebraic Specification Language: semantics and proof theory, COMPUTING AND INFORMATICS, 2003. See in PBN

Initiative of Excellence – Research University