Proceedings 9th International Workshop on Computing with Terms and Graphs

09/10/2016
by   Andrea Corradini, et al.
0

This volume contains the proceedings of TERMGRAPH 2016, the Ninth International Workshop on Computing with Terms and Graphs which was held on April 8, 2016 in Eindhoven, The Netherlands, as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2016).

READ FULL TEXT
research
07/12/2017

Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems

This volume of the EPTCS contains the proceedings of the 15th internatio...
research
03/24/2023

Proceedings Twelfth International Workshop on Computing with Terms and Graphs

The workshop TERMGRAPH 2022 took place at Technion in Haifa, Israel, on ...
research
08/15/2023

The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions

This report contains the proceedings of the 19th International Workshop ...
research
07/02/2018

Proceedings of the 9th International Workshop on Physics and Computation

The 9th International Workshop on Physics and Computation (PC 2018) was ...
research
05/08/2014

Proceedings of the First Workshop on Resource Awareness and Adaptivity in Multi-Core Computing (Racing 2014)

This volume contains the papers accepted at the 1st Workshop on Resource...
research
10/11/2022

Perspectives on Negative Research Results in Pervasive Computing

Not all research leads to fruitful results; trying new ways or methods m...
research
01/17/2020

Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems

This EPTCS volume contains the proceedings of the 16th Workshop on Quant...

Please sign up or login with your details

Forgot password? Click here to reset