Concepedia

Proofs, Programs, Processes

Ulrich Berger, Monika Seisenberger

Theory of Computing Systems · 2011 · 24 citations · 14 references

DOI

References

14

First-Order and Temporal Logics for Nested Words

Rajeev Alur, Marcelo Arenas, Pablo Barceló et al. · Logical Methods in Computer Science · 2008 · 100 citations · Full text

, , +15

Dependent choice, ‘quote’ and the clock

Jean-Louis Krivine · Theoretical Computer Science · 2003 · 94 citations · Full text

, , +4

Semantics of a sequential language for exact real-number computation

J. Raymundo Marcial‐Romero, Martı́n Hötzel Escardó · Theoretical Computer Science · 2007 · 35 citations

, , +10

A certified, corecursive implementation of exact real numbers

Alberto Ciaffaglione, Pietro Di Gianantonio · Theoretical Computer Science · 2005 · 35 citations

, , +9

Continuous Functions on Final Coalgebras

Neil Ghani, Peter Hancock, Dirk Pattinson · Electronic Notes in Theoretical Computer Science · 2009 · 29 citations · Full text

, , +8