Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Logic-Based Program Synthesis and Transformation : 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings / Maribel Fernández (ed.). by LOPSTR (Symposium) (30th : 2020 : Online) Fernández, Maribel [editor.] Series: Lecture notes in computer science ; 12561. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2021] Other title: LOPSTR 2020 In: Springer Nature eBook Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Graph transformation : 16th International Conference, ICGT 2023, held as part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings / Maribel Fernández, Christopher M. Poskitt, editors. by ICGT (Conference) (16th : 2023 : Leicester, England) Fernández, Maribel [editor.] Poskitt, Christopher M [editor.] STAF (Federation of conferences) (2023 : Leicester, England) Series: Lecture notes in computer science ; 13961. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2023 Other title: ICGT 2023 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search