Sponsored Link:

Page Analysis

Sponsored Link:

joerg.endrullis.de


http://joerg.endrullis.de/
236 ratings.393 user reviews.

Web page information

  1. Keywords hit in search results
    ~waldmann 1081a abstract academic algorithm amsterdam analysing automata automated automatic based boelelaan calculated calculator clemens complexity compute computer concerned definitions demonstrating department developed dimitri efficient endrullis grabmayer graphical hendriks homepages information interpretations jambox jlatexeditor joerg johannes lambda lawrence leipzig local logical matrix methods microsoft millions netherlands oostrom personal practice productivity projects prover reducing rewriting science search section sequences solver specifications stefan stream string systems techniques termination terms theoretical theory universiteit untyped vincent vrije vrijer waldmann weighted willem
Joerg Endrullis
Joerg Endrullis Vrije Universiteit Amsterdam Department of Computer Science Section Theoretical Computer Science De Boelelaan 1081a 1081 HV Amsterdam The Netherlands ...
http://joerg.endrullis.de/
Joerg Endrullis | Jambox
What is Jambox? Jambox is an automated termination prover for string and term rewriting systems. The main new techniques are: Matrix Interpretations (via SAT solver)
http://joerg.endrullis.de/jambox.html
Joerg Endrullis - Microsoft Academic Search
The information is calculated based on the tens of millions of ... Joerg Endrullis, Roel C. de Vrijer, Johannes Waldmann
http://academic.research.microsoft.com/Author/17873205/joerg-endrullis
Jorg Endrullis - Microsoft Academic Search
Jörg Endrullis, Clemens Grabmayer, Jan Willem Klop, Vincent van Oostrom
http://academic.research.microsoft.com/Author/3561536/jorg-endrullis
Jörg Endrullis - Lambda Calculator
Lambda Calculator developed by Joerg Endrullis ... Graphical Lambda Calculator The lambda calculator is a graphical tool for reducing (untyped) lambda terms.
http://infinity.few.vu.nl/productivity/lambdaCalculator.html
Jörg Endrullis - Productivity of Stream Definitions
Jörg Endrullis ... Abstract. We are concerned with demonstrating productivity of specifications of ...
http://infinity.few.vu.nl/productivity/
DBLP: Johannes Waldmann
Jörg Endrullis, Roel C. de Vrijer, Johannes Waldmann: Local Termination: theory and practice Logical Methods in Computer Science 6(3): (2010)
http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Waldmann:Johannes.html
endrullis.de
Personal homepages: joerg.endrullis.de; stefan.endrullis.de; Projects: jlatexeditor.endrullis.de
http://www.endrullis.de/
DBLP: Jan Willem Klop
2012; 86 : Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss: Automatic Sequences and Zip-Specifications CoRR abs/1201.3251: (2012)
http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Klop:Jan_Willem.html
Weighted Automata for Analysing Termination and Complexity of ...
(May 05) Jörg Endrullis has developed a much more efficient algorithm to compute ... http://www.imn.htwk-leipzig.de/~waldmann/
http://dfa.imn.htwk-leipzig.de/matchbox/
No Coupons found for this website.

500 characters left

Your Review: (5 out of 5)
refresh captcha


Server Information
IP Address: 5.35.241.22
Server:Apache/2.2.22 (Debian)
Site Disclaimer:

All trademarks are the property of their respective owners. The facts, figures, reviews, records, stats, and other data presented on this page is for suggestion and information purposes only. PageGlimpse.com is not responsible for any incorrect or incomplete information. PageGlimpse.com does not take responsibility for any user-reviews of websites inside its resource and reserves the right to keep or remove those. It is highly recommended that you review all the data for accuracy.