Browse by Person
 | Up a level |
2006
Bodirsky, M. and Chen, Hubie (2006) Collapsibility in infinite-domain quantified constraint satisfaction. In: Zoltan, E. (ed.) CSL 2006: Computer Science Logic. Lecture Notes in Computer Science 4207. Springer, pp. 197-211. ISBN 9783540454588.
2007
Bodirsky, M. and Chen, Hubie and Kara, J. and von Oertzen, T. (2007) Maximal infinite-valued constraint languages. In: Arge, L. and Cachin, C. and Jurdzinski, T. and Tarlecki, A. (eds.) ICALP 2007: Automata, Languages and Programming, 34th International Colloquium. Lecture Notes in Computer Science 4596. Springer, pp. 546-557. ISBN 9783540734192.
Bodirsky, M. and Chen, Hubie (2007) Qualitative temporal and spatial reasoning revisited. In: Duparc, J. and Henzinger, T.A. (eds.) Computer Science Logic: 21st International Workshop. Lecture Notes in Computer Science 4646. Springer, pp. 194-207. ISBN 9783540749141.
Bodirsky, M. and Chen, Hubie (2007) Quantified equality constraints. In: UNSPECIFIED (ed.) LICS 2007: 22nd IEEE Symposium on Logic in Computer Science. IEEE Computer Society, pp. 203-212. ISBN 0769529089.