![Logical consequence / Logical syntax / Metalogic / Logic / Deduction / Entailment Logical consequence / Logical syntax / Metalogic / Logic / Deduction / Entailment](https://www.pdfsearch.io/img/1c0d4a343fe558e6cc99ca18b4eebdfe.jpg)
| Document Date: 2009-05-20 09:54:32 Open Document File Size: 198,69 KBShare 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 |