scientific article; zbMATH DE number 2003155
From MaRDI portal
Publication:4435467
zbMATH Open1023.68022MaRDI QIDQ4435467FDOQ4435467
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 of this publication is not available (Why is that?)
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)
Cited In (11)
- Using Structural Recursion for Corecursion
- NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC
- Foundations of Software Science and Computation Structures
- Transfinite Step-Indexing: Decoupling Concrete and Logical Steps
- Formal definitions and proofs for partial (co)recursive functions
- Inductive and coinductive components of corecursive functions in Coq
- A term calculus for (co-)recursive definitions on streamlike data structures
- Deriving structural hylomorphisms from recursive definitions
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic
- A model of guarded recursion via generalised equilogical spaces
- Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4435467)
