The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "PLILP"( http://dblp.L3S.de/Venues/PLILP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/plilp

Publication years (Num. hits)
1988 (18) 1989-1990 (28) 1991 (42) 1992 (42) 1993 (34) 1994 (42) 1995 (34) 1996 (37) 1997 (30) 1998 (1)
Publication types (Num. hits)
inproceedings(299) proceedings(9)
Venues (Conferences, Journals, ...)
PLILP(308)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 167 occurrences of 118 keywords

Results
Found 308 publication records. Showing 308 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Catuscia Palamidessi, Hugh Glaser, Karl Meinke (eds.) Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings Search on Bibsonomy PLILP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Roberto Giacobazzi, Francesca Scozzari Intuitionistic Implication in Abstract Interpretation. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF directional types, logic programming, static analysis, Abstract interpretation, domains, intuitionistic logic
1Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen DrScheme: A Pedagogic Programming Environment for Scheme. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Algebraic Evaluation, Teaching programming to beginning students, Programming, Programming Environments, Pedagogy, Scheme, Static Debugging
1Simon J. Thompson Where Do I Begin? A Problem Solving Approach in teaching Functional Programming. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF palindrome recognition, Polya, Functional programming, Haskell, problem solving
1Davide Ancona, Elena Zucca Overriding Operators in a Mixin-Based Framework. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Reasoning about Language Constructs, Modularity, Object Oriented Languages
1Ross Paterson Transforming Lazy Functions Using Comportment Properties. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF static analysis, abstract interpretation, automatic program transformation
1Erik Johansson, Christer Jonsson, Thomas Lindgren, Johan Bevemyr, Håkan Millroth A Pragmatic Approach to Compilation of Erlang. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Jean-Louis Giavitto, Dominique De Vito, Olivier Michel Semantics and Compilation of Recursive Sequential Streams in 8½. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF compilation of dataflow graphs, stream, clock
1Sergio Antoy, Zena M. Ariola Narrowing the Narrowing Space. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Narrowing space, Computed expression, Regular computed expression, Finite representation, Narrowing, Functional logic programming
1Jan Sparud, Colin Runciman Tracing Lazy Functional Computations Using Redex Trails. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF debugging, program transformation, Haskell, graph reduction
1Jon Whittle, Alan Bundy, Helen Lowe An Editor for Helping Novices to Learn Standard ML. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Programming Language Learning, Analogy, Learning Environments
1Gilles Barthe, John Hatcliff, Morten Heine Sørensen Reflections on Reflections. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Adriana B. Compagnoni, Maribel Fernández On Object Calculus with Algebraic Rewriting. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Object calculi, Combined calculi, Type systems, Rewriting
1Manuel Serrano Inline Expansion: When and How? Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Optimization, Compilation, Functional languages, Inlining
1Norbert Eisinger, Tim Geisler, Sven Panne Logic Implemented Functionally. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF functional programming, disjunctive logic programming, model generation, programming course
1Steve Gregory A Declarative Approach to Concurrent Programming. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Jan Janousek, Borivoj Melichar Formal Translations Described by Translation Grammars with LR(k) Input Grammars. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Michael Hanus Teaching Functional and Logic Programming with a Single Computational Model. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Keyword Functional logic languages, integration of paradigms, lazy evaluation, residuation, narrowing
1Christian Mossin Higher-Order Value Flow Graphs. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF polyvariance, efficiency, program analysis, type system, polymorphism, recursive types
1Nobuhisa Fujinami Automatic Run-Time Code Generation in Object-Oriented Languages. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Guy Cousineau Functional Programming and Geometry. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF education, computer geometry, modularity, functional programming, types, tilings
1Salvador Lucas Transformations for Efficient Evaluations in Functional Programming. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF evaluation, program transformation, functional programming, term rewriting
1Hugh Glaser, Pieter H. Hartel, Herbert Kuchen (eds.) Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Zhiyi Huang 0001, Chengzheng Sun, Abdul Sattar 0001 Selective Recomputation for Handling Side-Effects in Parallel Logic Programs. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF OR-forest, Parallel Processing, Logic Programming, Side-effect, OR-parallelism, AND-parallelism
1David De Roure Introducing the Declarative Dungeon. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF EuLisp, Scheme, declarative languages, MUD
1Kazuhiro Ogata 0001, Kokichi Futatsugi Implementation of Term Rewritings with the Evaluation Strategy. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF reduction strategies, the E-strategy, term rewriting systems
1Mats Carlsson, Greger Ottosson, Björn Carlson An Open-Ended Finite Domain Constraint Solver. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Implementation of Constraint Systems, Indexicals, Constraint Programming, Global Constraints, Finite Domains
1Antony Francis Bowers, Patricia M. Hill, Francisco Ibañez Resolution for Logic Programming with Universal Quantifiers. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Universal quantifiers, specification, logic programming, programming languages, resolution, implication
1Hongwei Xi Evaluation Under Lambda Abstraction. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF partial evaluation, lambda-calculus, run-time code generation
1José E. Gallardo, Francisco Gutiérrez, Blas C. Ruiz Inheritance and Selective Methods Dispatching in Concurrent Haskell. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF guarded methods, functional programming, Haskell, inheritance anomaly, Concurrent objects
1Christoph A. Herrmann, Christian Lengauer Transformation of Divide & Conquer to Nested Parallel Loops. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF parallelization, Haskell, skeleton, divide-and-conquer, space-time mapping, equational reasoning
1Didier Parigot, Gilles Roussel, Martin Jourdan, Étienne Duris Dynamic Attribute Grammars. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF static analysis, implementation, Attribute Grammars, applicative programming, dynamic semantics
1Michael Leuschel, Danny De Schreye Logic Program Specialisation: How To Be More Specific. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Salvador Lucas Context-Sensitive Computations in Confluent Programs. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF functional programming, term rewriting systems, confluence
1Maribel Fernández, Ian Mackie From Term Rewriting to Generalised Interaction Nets. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi Cheap Tupling in Calculational Form. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001 Oz Explorer: A Visual Constraint Programming Tool. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Luis A. Galán, Cristóbal Pareja, Ricardo Pena Functional Skeletons Generate Process Topologies in Eden. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF parallel programming, Functional programming, concurrent programming, skeletons, higher order functions
1Enno Scholz PIDGETS - Unifying Pictures and Widgets in a Constraint-Based Framework for Concurrent Functional GUI Programming. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Salvatore Ruggieri Decidability of Logic Program Semantics and Applications to Testing. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Sergio Antoy Needed Narrowing in Prolog (Extended Abstract). Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo Towards Independent And-Parallelism in CLP. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Geoff W. Hamilton Higher Order Deforestation. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Sergei Gorlatch Systematic Extraction and Implementation of Divide-and-Conquer Parallelism. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Lambert G. L. T. Meertens Calculate Polytypically! Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Implementation of functional programming, weak reduction, space leaks, recursion, sharing, lambda calculus, explicit substitution
1Olivier Danvy, René Vestergaard Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Joaquín Mateos-Lago, Mario Rodríguez-Artalejo GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Pascale Louvet, Olivier Ridoux Parametric Polymorphism for Typed Prolog and lambda-Prolog. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF second-order -Calculus, Logic programming, polymorphism, typing
1Maria-Virginia Aponte, Roberto Di Cosmo Type Isomorphisms for Module Signatures. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF typing and structuring systems, retrieval of functions in function libraries, programming environments, ML, module systems
1Nicoletta De Francesco, Antonella Santone Unfold/Fold Transformations of Concurrent Processes. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Geoffrey Weyer, William H. Winsborough Annotated Structure Shape Graphs for Abstract Analysis of Prolog. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Abstract Analysis, Structure Shape Graph, Unify Set, Compile-Time Garbage Collection, Update-In-Place, Structure Sharing, Sharing, Liveness, Aliasing, Type Graph
1Juliana Freire, Terrance Swift, David Scott Warren Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Peter J. Stuckey, Vincent Tam Models for Using Stochastic Constraint Solvers in Constraint Logic Programming. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Christoph W. Keßler Scheduling Expression DAGs for Minimal Register Need. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Herbert Kuchen, S. Doaitse Swierstra (eds.) Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Christian Fecht An Efficient and Precise Sharing Domain for Logic Programs. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Stefan Kahrs Limits of ML-Definability. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF completeness, ML, polymorphism, recursion, definability
1Roberto Bagnara A Reactive Implementation of Pos Using ROBDDs. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Germán Puebla, Manuel V. Hermenegildo Automatic Optimization of Dynamic Scheduling in Logic Programs. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Peter Thiemann Implementing Memoization for Partial Evaluation. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF incremental specialization, termination of partial evaluation, reflection, partial evaluation, automatic program transformation
1Mengchi Liu The LOL Deductive Database Programming Language (Extended Abstract). Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Fairouz Kamareddine, Alejandro Ríos Generalized beta-Reduction and Explicit Substitution. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen Controlling Conjunctive Partial Deduction. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Thomas Gehrke, Michaela Huhn ProFun - A Language for Executable Specifications. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Integration of, Concurrent and Functional Programming, Language Design, Executable Specifications, Formal Reasoning
1Gianna Bellè, C. Barry Jay, Eugenio Moggi Functorial ML. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Xining Li Program Sharing: A New Implementation Approach for Prolog. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Peter Van Roy, Michael Mehl, Ralf Scheidhauer Integrating Efficient Records into Concurrent Constraint Programming. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Concurrent Constraint, Natural-Language Processing, Logic Programming, Prolog, Implementation, Record
1Ton Vullinghs, Daniel Tuinman, Wolfram Schulte Lightweight GUIs for Functional Programming Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Rémi Douence, Pascal Fradet Towards a Taxonomy of Functional Languages Implementations Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Yuka Shimajiri, Hiroshi Seki, Hidenori Itoh Goal-Directed Query Processing in Disjunctive Logic Databases Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Fairouz Kamareddine, Alejandro Ríos A Lambda-Calculus à la de Bruijn with Explicit Substitutions Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Koichi Nakahara, Aart Middeldorp, Tetsuo Ida A Complete Narrowing Calculus for Higher-Order Functional Logic Programming Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Puri Arenas-Sánchez, Agostino Dovier Minimal Set Unification Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Logic Programming with Sets, Unification, CLP
1John Hatcliff Mechanically Verifying the Correctness of an Offline Partial Evaluator Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Markus Mohnen Efficient Compile-Time Garbage Collection for Arbitrary Data Structures Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Fritz Henglein, David Sands A Semantic Model of Binding Times for Safe Partial Evaluation Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Jens E. Wunderwald A Portable Implementation of Memoing Evaluation Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Barton C. Massey, Evan Tick Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Kim Marriott Parsing Visual Languages with Constraint Multiset Grammars Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Alan Mycroft, Kirsten Lackner Solberg Uniform PERs and Comportment Analysis Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Hüseyin Saglam, John P. Gallagher Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Jean-Hugues Réty The Notion of Floundering for SLDNF-Resolution Revisited Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Peter Achten A Functional Framework for Deterministically Interleaved Interactive Programs Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing A New Strategy for Semantic Matching Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Wei-Ngan Chin, Siau-Cheng Khoo Better Consumers for Deforestation (Extended Abstract) Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Heinz Faßbender A Verified Implementation of Narrowing Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Hugh McEvoy, Pieter H. Hartel Local Linear Logic for Locality Consciousness in Multiset Transformation Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Werner Hans, Fernando Sáenz-Pérez, Stephan Winkler An Expression-Or-Parallel Implementation for a Functional Logic Language Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Erik Barendsen, Sjaak Smetsers Uniqueness Type Inference Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Merik Meriste, Jaan Penjam Attributed Models of Executable Specifications Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan Design and Implementation of Jump Tables for Fast Indexing of Logic Programs Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren Exploiting Parallelism in Tabled Evaluations Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Mark P. Jones Programming with Constructor Classes (Abstract) Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Livio Colussi, Elena Marchiori, Massimo Marchiori A Dataflow Semantics for Constraint Logic Programs Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Robert Glück, Jesper Jørgensen Efficient Multi-level Generating Extensions for Program Specialization Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Rob Noble, Colin Runciman Gadgets: Lazy Functional Components for Graphical User Interfaces Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Gofer, concurrency, processes, functional language, window manager
1Puri Arenas-Sánchez, Ana Gil-Luezas A Debugging Model for Lazy Narrowing Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Oege de Moor A Generic Program for Sequential Decision Processes Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Xavier Burgués Illa, Xavier Franch Evaluation of Expressions in a Multiparadigm Framework Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 308 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license