scientific article; zbMATH DE number 2003155
From MaRDI portal
Publication:4435467
zbMath1023.68022MaRDI QIDQ4435467
Pietro Di Gianantonio, Marino Miculan
Publication date: 12 November 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2646/26460148.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
A model of guarded recursion via generalised equilogical spaces ⋮ Iris from the ground up: A modular foundation for higher-order concurrent separation logic ⋮ Transfinite Step-Indexing: Decoupling Concrete and Logical Steps ⋮ Using Structural Recursion for Corecursion ⋮ Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme ⋮ A term calculus for (co-)recursive definitions on streamlike data structures ⋮ NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC ⋮ Inductive and Coinductive Components of Corecursive Functions in Coq
Uses Software
This page was built for publication:
