Folgen
Jörg Endrullis
Jörg Endrullis
VU University Amsterdam
Bestätigte E-Mail-Adresse bei endrullis.de
Titel
Zitiert von
Zitiert von
Jahr
Matrix Interpretations for Proving Termination of Term Rewriting (extended journal version)
J Endrullis, J Waldmann, H Zantema
Journal of Automated Reasoning 40 (2-3), 195-220, 2008
2042008
Data-oblivious Stream Productivity
J Endrullis, C Grabmayer, D Hendriks
Logic for Programming, Artificial Intelligence, and Reasoning, 79-96, 2008
592008
Matrix interpretations for proving termination of term rewriting
J Endrullis, J Waldmann, H Zantema
Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006
502006
Productivity of Stream Definitions (extended journal version)
J Endrullis, C Grabmayer, D Hendriks, A Isihara, JW Klop
Theoretical Computer Science 411 (4), 765-782, 2010
492010
Productivity of Stream Definitions
J Endrullis, C Grabmayer, D Hendriks, A Isihara, J Klop
Fundamentals of Computation Theory, 274-287, 2007
402007
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning
J Endrullis, HH Hansen, D Hendriks, A Polonsky, AM Silva
Rewriting Techniques and Applications 36, 143-159, 2015
352015
Local Termination: Theory and Practice
J Endrullis, R de Vrijer, J Waldmann
Logical Methods in Computer Science 6 (2), 2010
34*2010
Degrees of Streams
J Endrullis, D Hendriks, JW Klop
Journal of Integers B 11, 1-40, 2011
33*2011
Lazy Productivity via Termination
J Endrullis, D Hendriks
Theoretical Computer Science 412 (28), 3203-3225, 2011
322011
Infinitary Rewriting Coinductively
J Endrullis, A Polonsky
LIPIcs-Leibniz International Proceedings in Informatics 19, 2013
312013
Automating the Mean-field Method for Large Dynamic Gossip Networks
R Bakhshi, J Endrullis, S Endrullis, W Fokkink, B Haverkort
Quantitative Evaluation of Systems (QEST), 2010 Seventh International …, 2010
292010
From Outermost to Context-sensitive Rewriting
J Endrullis, D Hendriks
Rewriting Techniques and Applications, 305-319, 2009
29*2009
Highlights in Infinitary Rewriting and Lambda Calculus
J Endrullis, D Hendriks, JW Klop
Theoretical Computer Science 464, 48-71, 2012
282012
Circular Coinduction in Coq using Bisimulation-up-to Techniques
J Endrullis, D Hendriks, M Bodin
Interactive Theorem Proving, 354-369, 2013
262013
Proving Infinitary Normalization
J Endrullis, C Grabmayer, D Hendriks, J Klop, R de Vrijer
Types for Proofs and Programs, 64-82, 2009
262009
Complexity of Fractran and Productivity
J Endrullis, C Grabmayer, D Hendriks
Automated Deduction–CADE-22, 371-387, 2009
262009
Coinductive foundations of infinitary rewriting and infinitary equational logic
J Endrullis, HH Hansen, D Hendriks, A Polonsky, A Silva
Logical Methods in Computer Science 14, 2018
25*2018
Termination and Productivity
J Endrullis
Vrije Universiteit Amsterdam, 2010
25*2010
Levels of Undecidability in Rewriting
J Endrullis, H Geuvers, JG Simonsen, H Zantema
Information and Computation 209 (2), 227-245, 2011
242011
Degrees of Transducibility
J Endrullis, JW Klop, A Saarela, M Whiteland
10th International Conference on Combinatorics on Words, WORDS 2015, 1-13, 2015
23*2015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20