1
Recent Trends in Algebraic Development Techniques [E-Book] : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /

Full text 
Favorites
Saved in:
2
Logic-Based Program Synthesis and Transformation [E-Book] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /

Full text 
Favorites
Saved in:
3
Algebraic Informatics [E-Book] : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /

Full text 
Favorites
Saved in:
4
Logic Programming and Nonmonotonic Reasoning [E-Book] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /

Full text 
Favorites
Saved in:
5
Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /

Full text 
Favorites
Saved in:
6
Descriptive Set Theoretic Methods in Automata Theory [E-Book] : Decidability and Topological Complexity /

Full text 
Favorites
Saved in:
7
Algorithms - ESA 2015 [E-Book] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /

Full text 
Favorites
Saved in:
8
Algorithmic Aspects of Cloud Computing [E-Book] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /

Full text 
Favorites
Saved in:
9
Automated Reasoning [E-Book] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /

Full text 
Favorites
Saved in:
10
Graph Transformation [E-Book] : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results