Bisimulation and Language Equivalence Colin Stirling Division of Informatics University of Edinburgh email: [removed] - First-order logic - Document - PDFSEARCH.IO

First Page	Meta Content
	Bisimulation and Language Equivalence Colin Stirling Division of Informatics University of Edinburgh email: [removed] Add to Reading List Document Date: 2009-05-20 09:51:25 Open Document File Size: 143,65 KB Share Result on Facebook / Facility Informatics University / / IndustryTerm concurrent systems / canonical transition systems / finite transition systems / extended transition systems / transition systems / emaciated finite transition systems / / Organization Γ∗ / University of Edinburgh / Bisimulation and Language Equivalence Colin Stirling Division / / Person Van Benthem / / Technology simulation / / SocialTag Mathematics Theoretical computer science Bisimulation Logic in computer science Models of computation Philosophical logic Interpretation First-order logic Structure Logic

Bisimulation and Language Equivalence Colin Stirling Division of Informatics University of Edinburgh email: [removed]Add to Reading List