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
2102008
Data-oblivious Stream Productivity
J Endrullis, C Grabmayer, D Hendriks
Logic for Programming, Artificial Intelligence, and Reasoning, 79-96, 2008
582008
Matrix interpretations for proving termination of term rewriting
J Endrullis, J Waldmann, H Zantema
Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006
512006
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
482010
Productivity of Stream Definitions
J Endrullis, C Grabmayer, D Hendriks, A Isihara, J Klop
Fundamentals of Computation Theory, 274-287, 2007
402007
Syllogistic Logic with “Most”
J Endrullis, LS Moss
Logic, Language, Information, and Computation, 124-139, 2015
372015
Degrees of Streams
J Endrullis, D Hendriks, JW Klop
Journal of Integers B 11, 1-40, 2011
36*2011
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
Lazy Productivity via Termination
J Endrullis, D Hendriks
Theoretical Computer Science 412 (28), 3203-3225, 2011
322011
Local Termination: Theory and Practice
J Endrullis, R de Vrijer, J Waldmann
Logical Methods in Computer Science 6 (2), 2010
32*2010
Infinitary Rewriting Coinductively
J Endrullis, A Polonsky
LIPIcs-Leibniz International Proceedings in Informatics 19, 2013
312013
From Outermost to Context-sensitive Rewriting
J Endrullis, D Hendriks
Rewriting Techniques and Applications, 305-319, 2009
29*2009
Circular Coinduction in Coq using Bisimulation-up-to Techniques
J Endrullis, D Hendriks, M Bodin
Interactive Theorem Proving, 354-369, 2013
282013
Highlights in Infinitary Rewriting and Lambda Calculus
J Endrullis, D Hendriks, JW Klop
Theoretical Computer Science 464, 48-71, 2012
282012
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
282010
Termination and Productivity
J Endrullis
Vrije Universiteit Amsterdam, 2010
27*2010
Proving Infinitary Normalization
J Endrullis, C Grabmayer, D Hendriks, J Klop, R de Vrijer
Types for Proofs and Programs, 64-82, 2009
272009
Complexity of Fractran and Productivity
J Endrullis, C Grabmayer, D Hendriks
Automated Deduction–CADE-22, 371-387, 2009
272009
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
26*2018
Proving non-termination by finite automata
J Endrullis, H Zantema
26th International Conference on Rewriting Techniques and Application (RTA …, 2015
252015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20