Items where Author / Artist / Editor is "Madelaine, Florent"
 | See full list of headings |
Article
Madelaine, Florent and Martin, Barnaby (2012) The complexity of positive first-order logic without equality. ACM Transactions on Computational Logic (TOCL), 13 (1) . ISSN 1529-3785 [Article] (doi:10.1145/2071368.2071373)
Book Section
Madelaine, Florent and Martin, Barnaby (2011) A tetrachotomy for positive first-order logic without equality. In: Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on. IEEE, pp. 311-320. ISBN 9781457704512. [Book Section] (doi:10.1109/LICS.2011.27)
Martin, Barnaby and Madelaine, Florent (2007) Hierarchies in fragments of monadic strict NP. In: Computation and logic in the real world: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings. Cooper, Barry S., Löwe, Benedikt and Sorbi, Andrea, eds. Lecture Notes in Computer Science, 4497 . Springer Berlin Heidelberg, pp. 542-550. ISBN 9783540730002. [Book Section] (doi:10.1007/978-3-540-73001-9_56)
Conference or Workshop Item
Madelaine, Florent, Martin, Barnaby and Stacho, Juraj (2012) Constraint satisfaction with counting quantifiers. Computer Science - Theory and Applications. In: The 7th International Computer Science Symposium (CSR 2012), 3-7 Jul 2012, Nizhny Novgorod, Russia. ISBN 9783642306419. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-642-30642-6_24)
Chen, Hubie, Madelaine, Florent and Martin, Barnaby (2008) Quantified constraints and containment problems. 2008 23rd Annual IEEE Symposium on Logic in Computer Science. In: 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, PA, USA. ISBN 9780769531830. ISSN 1043-6871 [Conference or Workshop Item] (doi:10.1109/LICS.2008.15)
