Ten Cate, Balder and Facchini, Alessandro (2011) Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs. In: Mathematical Foundations of Computer Science 2011 - 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings.
Full text not available from this repository.
Official Website: http://dx.doi.org/10.1007/978-3-642-22993-0_28
| Item Type: | Article in conference proceedings or Presentation at a conference (Paper) |
|---|---|
| Subjects: | Computer sciences > Computer science > Computational science foundations |
| Depositing User: | Alessandro Facchini |
| Date Deposited: | 12 Feb 2015 06:31 |
| Last Modified: | 28 Apr 2016 07:12 |
| URI: | http://repository.supsi.ch/id/eprint/6122 |
Actions (login required)
 |
View Item |