Powrót do listy instytutów
Publikacje
Czasopismo: Computing and Informatics
Liczba publikacji: 22019
- 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, s. 19--56. Zobacz w PBN
2003
- Anne Haxthausen, Till Mossakowski, Donald Sannella, Andrzej Tarlecki , CASL --- The Common Algebraic Specification Language: semantics and proof theory, Computing and Informatics, 2003. Zobacz w PBN