Specification and implementation of programs for updating incomplete information databases
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Floyd-Hoare logic in iteration theories
Journal of the ACM (JACM)
Inertia—the reluctance of code motion?
ACM SIGSOFT Software Engineering Notes
A new calculus for multidimensional arrays
APL '02 Proceedings of the 2002 conference on APL: array processing languages: lore, problems, and applications
The Varieties of Programming Language Semantics
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
On Köthe sequence spaces and linear logic
Mathematical Structures in Computer Science
Geometry of Interaction and linear combinatory algebras
Mathematical Structures in Computer Science
Unique decomposition categories, Geometry of Interaction and combinatory logic
Mathematical Structures in Computer Science
Journal of Functional Programming
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
A categorical model for the geometry of interaction
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
A tutorial on coinductive stream calculus and signal flow graphs
Theoretical Computer Science - Formal methods for components and objects
Mathematical Structures in Computer Science
Note on Some Order Properties Related to Processes Semantics (I)
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Fix point internal hierarchy specification for context free grammars
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
Theoretical Computer Science
Categories of Timed Stochastic Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
A general framework for sound and complete Floyd-Hoare logics
ACM Transactions on Computational Logic (TOCL)
From Geometry of Interaction to Denotational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantum circuit oracles for Abstract Machine computations
Theoretical Computer Science
A coinductive calculus of binary trees
Information and Computation
Partially additive categories and fully complete models of linear logic
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Behavioural differential equations and coinduction for binary trees
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
From Coalgebraic to Monoidal Traces
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a geometry of recursion
Theoretical Computer Science
Package architecture optimization in software application design
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
Stochastic grammars for intelligent software systems modeling
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
An iterator construct for the refinement calculus
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Well-Pointed coalgebras (extended abstract)
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Note on Some Order Properties Related to Processes Semantics (I)
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Semirings in Operations Research and Computer Science: More Algebra
Fundamenta Informaticae
Varieties and Covarieties of Languages (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |