Search | Browse | Templates | Query | |||||
paperid | title | year | banks_node_id |
---|---|---|---|
journals/sLogica/DegtyarevFL02 | Equality and Monodic First-Order Temporal Logic. | 2002 | 818381 |
Click here to go back to the BANKS homepage.
About BANKS - Help - People - Publications