<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-02-20 13:15:15Temporal logic Metalogic FO Model theory Interpretation IP Theoretical computer science Logic Linear temporal logic |
|
| First Page | Document Content | |
|---|---|---|
Date: 2014-02-20 13:15:15Temporal logic Metalogic FO Model theory Interpretation IP Theoretical computer science Logic Linear temporal logic |
|
From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University