Abstract Computability of Non-deterministic Programs over Various Data Structures
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
An axiomatization of partial n-place operations
Mathematical Structures in Computer Science
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Unifying Sets and Programs via Dependent Types
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Map Theory: From Well-Foundation to Antifoundation
Electronic Notes in Theoretical Computer Science (ENTCS)
Logiweb: a system for web publication of mathematics
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Hi-index | 5.24 |