Recursive subtyping revealed: (functional pearl)
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Guarded Quantification in Least Fixed Point Logic
Journal of Logic, Language and Information
Journal of Functional Programming
An efficient algorithm for computing bisimulation equivalence
Theoretical Computer Science
On the computational complexity of bisimulation, redux
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
First-order classical modal logic: applications in logics of knowledge and probability
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Distributive laws for the coinductive solution of recursive equations
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
The concept of strong and weak virtual reality
Minds and Machines
Theory and Practice of Logic Programming
Logical Analysis of Biological Systems
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Proof Methods for Corecursive Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Constructive analysis, types and exact real numbers
Mathematical Structures in Computer Science
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hyperset Approach to Semi-structured Databases
BNCOD 26 Proceedings of the 26th British National Conference on Databases: Dataspace: The Final Frontier
A Logical Approach to Security in the Context of Ambient Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
On the computational complexity of bisimulation, redux
Information and Computation
Distributive laws for the coinductive solution of recursive equations
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
Applications of metric coinduction
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Coinductive logic programming and its applications
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Coinductive correctness of homographic and quadratic algorithms for exact real numbers
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
Pillars of computer science
Modal expressivity and definability over sets
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Fo(fd): Extending classical logic with rule-based fixpoint definitions
Theory and Practice of Logic Programming
Infinite computation, co-induction and computational logic
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Coinductive logic programming with negation
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Model checking biological systems described using ambient calculus
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Coinductive constraint logic programming
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Automatic Sequences and Zip-Specifications
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Logical Analysis of Biological Systems
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Proof Methods for Corecursive Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Co-logic programming: extending logic programming with coinduction
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
On a Notion of Extensionality for Artifacts
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
Adding coinduction into discrete mathematics
Journal of Computing Sciences in Colleges
Hi-index | 0.00 |