Georg - PDFSEARCH.IO - Document Search Engine

Georg
Results: 4491

#	Item
1	Kruskal’s Tree Theorem for Term Graphs Georg Moser Maria A Schett TERMGRAPH 2016, Eindhoven Add to Reading List Source URL: www.maria-a-schett.net Language: English - Date: 2016-12-11 09:17:20 Mathematics Graph theory Discrete mathematics Mathematical logic Wellfoundedness Logic in computer science Rewriting Kruskal's tree theorem Graph
2	Termgraph Rewriting Maria Schett Supervisors: Martin Avanzini, Georg Moser November 8, 2011 Add to Reading List Source URL: www.maria-a-schett.net Language: English - Date: 2016-12-11 09:15:55 Theoretical computer science Programming language theory Mathematics Formal languages Mathematical logic Logic in computer science Computability theory Rewriting Normal form Graph rewriting Pure Term
3	From Trees to Graphs: On the Influence of Collapsing on Rewriting and on Termination Maria A Schett defensio: master thesis advised by Georg Moser department of CS @ UIBK Oktober 25, 2016 Add to Reading List Source URL: www.maria-a-schett.net Language: English - Date: 2016-12-11 09:16:58 Theoretical computer science Formal languages Mathematics Discrete mathematics Graph theory Abstract semantic graph Graph Rewriting Graph rewriting
4	A Separation Logic with Data: Small Models and Automation? Jens Katelaan1 , Dejan Jovanovi´c2 , and Georg Weissenbacher1 1 TU Wien, Vienna, Austria Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:42 Mathematical logic Logic Predicate logic Mathematics Model theory Semantics Philosophical logic First-order logic FO Quantifier Constructible universe Interpretation
5	PDF Document Add to Reading List Source URL: www.georg.weissenbacher.science - Date: 2013-10-10 11:35:22
6	PDF Document Add to Reading List Source URL: www.georg.weissenbacher.science - Date: 2010-10-22 10:59:31
7	PDF Document Add to Reading List Source URL: www.georg.weissenbacher.science - Date: 2016-04-11 10:19:24
8	PDF Document Add to Reading List Source URL: www.georg.weissenbacher.science - Date: 2015-04-16 14:15:48
9	PDF Document Add to Reading List Source URL: www.georg.weissenbacher.science - Date: 2014-09-16 15:34:17
10	PDF Document Add to Reading List Source URL: www.georg.weissenbacher.science - Date: 2012-07-03 14:01:21