The Church Synthesis Problem with Metric
Mark Jenkins‚ Joël Ouaknine‚ Alexander Rabinovich and James Worrell
Details
| Address |
Dagstuhl‚ Germany |
| Annote |
Keywords: Church's Problem‚ monadic logic‚ games‚ uniformization |
| Book Title |
Computer Science Logic (CSL'11) − 25th International Workshop/20th Annual Conference of the EACSL |
| ISBN |
978−3−939897−32−3 |
| ISSN |
1868−8969 |
| Pages |
307–321 |
| Publisher |
Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik |
| Series |
Leibniz International Proceedings in Informatics (LIPIcs) |
| Volume |
12 |
| Year |
2011 |
Links
DOI (10.4230/LIPIcs.CSL.2011.307)
Related pages
|
People |