Representation Theorems in Computer Science A Treatment in Logic Engineering

Adventures in Computer Science From Classical Bits to Quantum Bits

Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings

Theory and Applications of Formal Argumentation Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers

Transactions on Computational Science XXII

Theory and Applications of Formal Argumentation Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers

Algorithmic Learning Theory 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014. Proceedings

Algorithmic Learning Theory 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings