Back to Results
First PageMeta Content
Deduction / Entailment / Logical consequence / Logical syntax / Metalogic / Valuation / Lambda calculus / Natural deduction / Holomorphic functional calculus / Logic / Abstract algebra / Mathematics


MFPSExploratory functions on nondeterministic strategies, up to lower bisimilarity ? Paul Blain Levy1 Kidane Yemane Weldemariam2 University of Birmingham, Birmingham, B15 2TT, UK
Add to Reading List

Document Date: 2009-05-18 06:36:21

Open Document

File Size: 272,47 KB

Share Result on Facebook

/

Facility

Paul Blain Levy1 Kidane Yemane Weldemariam2 University of Birmingham / /

Organization

University of Birmingham / Birmingham / /

Person

Stefan Milius / Andreas Blass / Ai / /

Position

pm for pattern-match / Prime Minister / /

Technology

simulation / /

URL

www.elsevier.nl/locate/entcs / /

SocialTag