Dovier, Agostino
- Parallel Logic Programming: A Sequel
2021/11/22 by Agostino Dovier, Andrea Formisano, Dovier, Agostino +9 · 1 voice
Computer Science · #Advanced Database Systems and Queries #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.AI #cs.DC #cs.LO #cs.PL
- A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
2003/09/24 by Agostino Dovier, Carla Piazza, Dovier, Agostino +3 · 1 citation
Computer Science · #Advanced Algebra and Logic #D.3.3 #F.2.2 #F.4.1 #FOS: Computer and information sciences #I.1.2 #I.2.3 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL) #Symbolic Computation (cs.SC) #cs.LO #cs.PL #cs.SC #semigroups and automata theory