Back to Results
First PageMeta Content
Formal languages / Deduction / Entailment / Logical consequence / Interpretation / Computable function / Structure / Logic / Metalogic / Model theory


Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems? Amir Pnueli1 , Andreas Podelski2 , and Andrey Rybalchenko2 1 2
Add to Reading List

Document Date: 2013-04-11 05:48:57

Open Document

File Size: 151,14 KB

Share Result on Facebook

Company

Fair Discrete Systems / FFDS / /

Currency

pence / /

Facility

New York University / /

IndustryTerm

abstract operator / prototype tool / fixed point operator / finite-state systems / infinite-state systems / composition operator / /

Organization

German Research Foundation / Transregional Collaborative Research Center / New York University / German Federal Ministry of Education / New York Max-Planck-Institut f¨ur Informatik / /

Position

author / /

PublishedMedium

Complex Systems / /

SocialTag