Search CORE

6 research outputs found

A primitive recursive set theory and ${ m AFA}$ : on the logical complexity of the largest bisimulation

Author: Fernando R.T.P. (Tim)
Publication venue: 'Springer Fachmedien Wiesbaden GmbH'
Publication date: 01/01/1992
Field of study

CWI's Institutional Repository

Transition systems and dynamic semantics

Author: Fernando R.T.P. (Tim)
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 07/09/1992
Field of study

CWI's Institutional Repository

Transition systems and dynamic semantics

Author: Fernando R.T.P. (Tim)
Publication venue: CWI
Publication date: 01/01/1992
Field of study

CWI's Institutional Repository

A primitive recursive set theory and AFA: on the logical complexity of the largest bisimulation

Author: Fernando R.T.P. (Tim)
Publication venue: CWI
Publication date: 01/01/1992
Field of study

CWI's Institutional Repository

Bisimulations and predicate logic

Author: Fernando R.T.P. (Tim)
Publication venue: CWI
Publication date: 01/01/1993
Field of study

CWI's Institutional Repository

Provably recursive programs

Author: Fernando R.T.P. (Tim)
Publication venue: CWI
Publication date: 01/01/1992
Field of study

CWI's Institutional Repository

core

core