Difference between revisions of "Recent publications"

From Numerical Transition Systems
Jump to: navigation, search
Line 3: Line 3:
 
==== Pending ====
 
==== Pending ====
  
 +
* R. Iosif and C. Serban. Complete Cyclic Proof Systems for Inductive Entailments [https://arxiv.org/abs/1707.02415 arXiv:1707.02415]
 
* R. Iosif and X. Xu. The Impact of Alternation [https://arxiv.org/abs/1705.05606 arXiv:1705.05606]
 
* R. Iosif and X. Xu. The Impact of Alternation [https://arxiv.org/abs/1705.05606 arXiv:1705.05606]
 
* M. Bozga, R. Iosif and F. Konecny. The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops [http://arxiv.org/abs/1307.5321 arXiv:1307.5321]
 
* M. Bozga, R. Iosif and F. Konecny. The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops [http://arxiv.org/abs/1307.5321 arXiv:1307.5321]

Revision as of 08:22, 11 July 2017

Newspapers-stacked.jpg

Pending

  • R. Iosif and C. Serban. Complete Cyclic Proof Systems for Inductive Entailments arXiv:1707.02415
  • R. Iosif and X. Xu. The Impact of Alternation arXiv:1705.05606
  • M. Bozga, R. Iosif and F. Konecny. The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops arXiv:1307.5321

Journals

Conferences