Back to Results
First PageMeta Content
Logical consequence / Logical syntax / Metalogic / Logic / Deduction / Entailment


Model Checking Fixed Point Logic with Chop Martin Lange and Colin Stirling Laboratory for Foundations of Computer Science
Add to Reading List

Document Date: 2009-05-20 09:54:32

Open Document

File Size: 198,69 KB

Share Result on Facebook

Company

Colin Stirling Laboratory / /

Currency

pence / /

/

Facility

Informatics University of Edinburgh / /

IndustryTerm

transition systems / finite transition systems / model checking finite transition systems / /

Organization

Computer Science Division / University of Edinburgh / /

Person

Martin Lange / /

Position

General / player / model / /

ProgrammingLanguage

FP / /

Technology

alternating algorithm / Alternating algorithms / /

SocialTag