Circular Coinduction: A Proof Theoretical Foundation (Q2888482): Difference between revisions

@@ Property / cites work @@
+Q4330617
@@ Property / cites work: Q4330617 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructor-based observational logic
@@ Property / cites work: Constructor-based observational logic / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Q3737481
@@ Property / cites work: Q3737481 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Context induction: A proof principle for behavioural abstractions and algebraic implementations
+Normal rank
@@ Property / cites work @@
+CIRC: A Behavioral Verification Tool Based on Circular Coinduction
+Normal rank
@@ Property / cites work @@
+CIRC: A Circular Coinductive Prover
@@ Property / cites work: CIRC: A Circular Coinductive Prover / rank @@
+Normal rank