search result

Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2025
Media group: LIPIcs
Cover von LIPIcs, Volume 337, FSCD 2025, Complete Volume

LIPIcs, Volume 337, FSCD 2025, Complete Volume

Year: 2025
Media group: LIPIcs
Cover von 10th International Conference on Formal Structures for Computation and Deduction
FSCD 2025, July 14-20, 2025, Birmingham, UK
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 337
Media group: LIPIcs
Cover von Nominal Techniques for Software Specification and Verification (Invited Talk)

Nominal Techniques for Software Specification and Verification (Invited Talk)

Year: 2023
Media group: LIPIcs
Cover von Logic-Based Program Synthesis and Transformation
30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7 - 9, 2020, Proceedings
Search for this author
Year: 2021
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12561
Media group: MONOGRAPHIE
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2015
Media group: LIPIcs
Cover von 26th International Conference on Rewriting Techniques and Applications
RTA 2015 : June 29 to July 1, 2015, Warsaw, Poland
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 36
Media group: LIPIcs
Cover von Programming Languages and Operational Semantics
Author: Fernández, Maribel Search for this author
Year: 2004
Publisher: London, College Publications
Series: Texts in computing; 1
Media group: MONOGRAPHIE
Cover von Models of Computation
An Introduction to Computability Theory
Author: Fernández, Maribel Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Undergraduate topics in computer science
Media group: MONOGRAPHIE
Cover von The Ackermann Award 2025

The Ackermann Award 2025

Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0