A quantified temporal logic for ampliation and restriction
Saved in:
| Main Author: | |
|---|---|
| Format: | Article (Journal) |
| Language: | English |
| Published: |
2013
|
| In: |
Vivarium
Year: 2013, Volume: 51, Issue: 1/4, Pages: 485-510 |
| ISSN: | 0042-7543 |
| Online Access: |
|
| Author Notes: | Sara L. Uckelman |
| ISSN: | 0042-7543 |
|---|