Home - Science - Graph Theory |
Page 9 161-166 of 166 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |
161. Logic Of Programming The Logic of Programming research team is interested in proof theory and its relations with theoretical computer science. The main topic is mathematical interpretation of proofs nets (proof = graph), denotational semantics (proof = function), and game semantics (proof = strategy). Two realisations of this working programm are Linear Logic and Ludics. http://iml.univ-mrs.fr/ldp/welcome.html |
162. Getgrats General Theory Of Graph Transformation Systems A research network funded by the European Commission. http://www.di.unipi.it/~andrea/GETGRATS/ |
163. Stewart, Charles Boston University Programming language theory, optimal reductions, graph reduction, linear logic, semantics of logic, formulae-as-types correspondence, continuation semantics. http://www.linearity.org/cas/ |
164. 26th Workshop On Graph-Theoretic Concepts In Computer Science (WG 2000) The workshop aims at uniting theory and practice by demonstrating how graphtheoretic concepts can be applied to various areas in Computer Science, or by extracting new problems from applications. The goal is to present recent research results and to identify and explore directions of future research. June 15-17, 2000, in Konstanz, Germany. http://www.informatik.uni-konstanz.de/wg2000/ |
165. David Eppstein - Publications Ramsey theory; Finding multiple nearoptimal solutions; Miscellanous graphtheory. Publications David Eppstein theory Group Inf. Comp. Sci. http://www.ics.uci.edu/~eppstein/pubs/graph.html |
166. 27th International Workshop On Graph-Theoretic Concepts In Computer Science (WG The workshop aims at uniting theory and practice by demonstrating how graphtheoretic concepts can be applied to various areas in Computer Science, or by extracting new problems from applications. Boltenhagen near Rostock, Germany ; 1416 June 2001. http://wwwteo.informatik.uni-rostock.de/wg2001/ |
Page 9 161-166 of 166 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |