search result

Cover von 24th International Conference on Rewriting Techniques and Applications
RTA 2013 : June 24 - 26, 2013, Eindhoven, The Netherlands
Search for this author
Year: 2013
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 21
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2023
Media group: LIPIcs
Cover von LIPIcs, Volume 260, FSCD 2023, Complete Volume

LIPIcs, Volume 260, FSCD 2023, Complete Volume

Year: 2023
Media group: LIPIcs
Cover von 8th International Conference on Formal Structures for Computation and Deduction
FSCD 2023 : July 3 - 6, 2023, Rome, Italy
Search for this author
Year: 2023
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 260
Media group: LIPIcs
Cover von Higher Order Dependency Pairs for Algebraic Functional Systems

Higher Order Dependency Pairs for Algebraic Functional Systems

Year: 2011
Media group: ARTICLE
Cover von Processes, terms and cycles
steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 3838
Media group: MONOGRAPHIE
Cover von Naturally Inspired Data Viz
article
Search for this author
Year: 2024
Publisher: Washington, The DataVisualization Society
Series: Nightingale; 2024, 5
Media group: ARTICLE
OPEN V 11.1.0.0