Back to Results
First PageMeta Content
Applied mathematics / Mathematical logic / Order theory / Logic in computer science / Metalogic / Model theory / Equational logic / Simulation preorder / Preorder / Mathematics / Logic / Theoretical computer science


BRICS Basic Research in Computer Science BRICS RSAceto et al.: 2-Nested Simulation is not Finitely Equationally Axiomatizable 2-Nested Simulation is not
Add to Reading List

Document Date: 2000-09-06 03:22:49

Open Document

File Size: 157,61 KB

Share Result on Facebook

Country

Netherlands / Denmark / /

Currency

Rs / /

/

Facility

Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / Aalborg University / /

IndustryTerm

inequational axiom systems / proof systems / reactive systems / axiomatic verification tools / transition systems / important applications / /

Organization

Danish National Research Foundation / BRICS Department / University of Aarhus / Department of Software Engineering / Aalborg University / Computer Science University of Aarhus Ny Munkegade / Department of Computer Science / /

Person

Jan Fokkink / Luca Aceto / Jan Fokkink Anna / Luca Aceto Willem Jan Fokkink / /

/

Position

standard semantic model for various process description languages / /

ProgrammingLanguage

C / /

Technology

system for the simulation / Simulation / /

URL

ftp /

SocialTag