The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Bruno Buchberger" ( http://dblp.L3S.de/Authors/Bruno_Buchberger )

URL (Homepage):  http://www.risc.jku.at/people/buchberg/  Author page on DBLP  Author page in RDF  Community of Bruno Buchberger in ASPL-2

Publication years (Num. hits)
1970-1983 (18) 1984-1990 (15) 1991-2001 (15) 2002-2006 (22) 2007-2014 (17) 2015-2017 (11)
Publication types (Num. hits)
article(36) book(5) incollection(4) inproceedings(46) proceedings(7)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

Results
Found 99 publication records. Showing 98 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Bruno Buchberger Gröbner Bases Computation and Macaulay Matrices. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability checking and symbolic computation. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger Theorema 2.0: Computer-Assisted Natural-Style Mathematics. Search on Bibsonomy J. Formalized Reasoning The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability Checking and Symbolic Computation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability Checking meets Symbolic Computation (Project Paper). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Bruno Buchberger Stam's Identities Collection: A Case Study for Math Knowledge Bases. Search on Bibsonomy ICMS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger The GDML and EuKIM Projects: Short Report on the Initiative. Search on Bibsonomy ICMS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Adel Bouhoula, Bruno Buchberger, Laura Kovács, Temur Kutsia Special issue on symbolic computation in software science. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz 0001, Bruno Buchberger (eds.) Correct Software in Web Applications and Web Services Search on Bibsonomy 2015 DBLP  DOI  BibTeX  RDF
1Markus Rosenkranz, Jane Liu, Alexander Maletzky, Bruno Buchberger Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates. Search on Bibsonomy CASC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexander Maletzky, Bruno Buchberger Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. Search on Bibsonomy ICMS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Soft Math Math Soft. Search on Bibsonomy ICMS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger, Alexander Maletzky Groebner Bases in Theorema. Search on Bibsonomy ICMS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Mathematics of 21st Century: A Personal View. Search on Bibsonomy SCSS The full citation details ... 2013 DBLP  BibTeX  RDF
1Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Bruno Buchberger, Markus Rosenkranz Transforming problems from analysis to algebra: A case study in linear boundary problems. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger, Manuel Kauers Buchberger's algorithm. Search on Bibsonomy Scholarpedia The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger, Manuel Kauers Groebner basis. Search on Bibsonomy Scholarpedia The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Loredana Tec, Georg Regensburger, Markus Rosenkranz, Bruno Buchberger An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. Search on Bibsonomy ICMS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Robert Vajda, Tudor Jebelean, Bruno Buchberger Combining logical and algebraic techniques for natural style proving in elementary analysis. Search on Bibsonomy Mathematics and Computers in Simulation The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich-Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland R. Wagner, Gerhard Weiß, Wolfgang Windsteiger (eds.) Hagenberg Research Search on Bibsonomy 2009 DBLP  DOI  BibTeX  RDF
1Peter Paule, Bruno Buchberger, Lena Kartashova, Manuel Kauers, Carsten Schneider, Franz Winkler 0001 Algorithms in Symbolic Computation. Search on Bibsonomy Hagenberg Research The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger Automated Reasoning. Search on Bibsonomy Hagenberg Research The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Hagenberg Research: Introduction. Search on Bibsonomy Hagenberg Research The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger A Symbolic Framework for Operations on Linear Boundary Problems. Search on Bibsonomy CASC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Linear boundary problem, Green’s operator, Integro-Differential Operator, Ordinary Differential Equation, Wave Equation
1Bruno Buchberger, Georg Regensburger, Markus Rosenkranz, Loredana Tec General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher. Search on Bibsonomy SYNASC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger Theorema: Towards computer-aided mathematical theory exploration. Search on Bibsonomy J. Applied Logic The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Comments on the translation of my PhD thesis. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump (eds.) Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005 Search on Bibsonomy Algebraic and Numerical Algorithms and Computer-assisted Proofs The full citation details ... 2006 DBLP  BibTeX  RDF
1Wolfgang Windsteiger, Bruno Buchberger, Markus Rosenkranz Theorema. Search on Bibsonomy The Seventeen Provers of the World The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Mathematical Theory Exploration. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Viorel Negru, Dana Petcu, Daniela Zaharie, Ajith Abraham, Bruno Buchberger, Alexandru Cicortas, Dorian Gorgan, Joël Quinqueton (eds.) 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 26-29 September 2006, Timisoara, Romania Search on Bibsonomy SYNASC The full citation details ... 2006 DBLP  BibTeX  RDF
1Bruno Buchberger Mathematical Theory Exploration. Search on Bibsonomy SYNASC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump 05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs. Search on Bibsonomy Algebraic and Numerical Algorithms and Computer-assisted Proofs The full citation details ... 2005 DBLP  BibTeX  RDF
1Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump 05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs. Search on Bibsonomy Algebraic and Numerical Algorithms and Computer-assisted Proofs The full citation details ... 2005 DBLP  BibTeX  RDF
1Bruno Buchberger A view on the future of symbolic computation. Search on Bibsonomy ISSAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger, Adrian Craciun Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger, John A. Campbell (eds.) Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings Search on Bibsonomy AISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu Proving and Constraint Solving in Computational Origami. Search on Bibsonomy AISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. Search on Bibsonomy AISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Temur Kutsia, Bruno Buchberger Predicate Logic with Sequence Variables and Sequence Function Symbols. Search on Bibsonomy MKM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger, Gaston H. Gonnet, Michiel Hazewinkel Preface. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture). Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.) Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings Search on Bibsonomy MKM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Computer algebra: the end of mathematics? Search on Bibsonomy ACM SIGSAM Bulletin The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Florina Piroi, Bruno Buchberger Focus Windows: A New Technique for Proof Presentation. Search on Bibsonomy AISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Gröbner Bases and Systems Theory. Search on Bibsonomy Multidim. Syst. Sign. Process. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Gröbner Bases: A Short Introduction for Systems Theorists. Search on Bibsonomy EUROCAST The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire (eds.) Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers Search on Bibsonomy EUROCAST The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger The PCS Prover in THEOREMA. Search on Bibsonomy EUROCAST The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Theory exploration versus theorem proving. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Computing, Solving, Proving: A Survey on the Theorema Project (Abstract). Search on Bibsonomy LPNMR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru A Survey of the Theorema Project. Search on Bibsonomy ISSAC The full citation details ... 1997 DBLP  BibTeX  RDF
1Bruno Buchberger Symbolic Computation: Computer Algebra and Logic. Search on Bibsonomy FroCoS The full citation details ... 1996 DBLP  BibTeX  RDF
1Ignacy Duleba, Witold Jacak, Robert Muszynski, Bruno Buchberger Symbolic computation-based synthesis of neural network dynamics and controller for robots. Search on Bibsonomy ICNN The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Symbolic Computation Software Systems: The Current State of Technology. Search on Bibsonomy EUROSIM The full citation details ... 1995 DBLP  BibTeX  RDF
1Bruno Buchberger What Is Symbolic Computation? Search on Bibsonomy CP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger, Jens Volkert (eds.) Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings Search on Bibsonomy CONPAR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Mathematica: A System for Doing Mathematics by Computer? (Abstract). Search on Bibsonomy DISCO The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Gröbner Bases: An Introduction. Search on Bibsonomy ICALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Gröbner Bases in Mathematica: Enthusiasm and Frustration. Search on Bibsonomy Programming Environments for High-Level Scientific Problem Solving The full citation details ... 1991 DBLP  BibTeX  RDF
1Bruno Buchberger Should Students Learn Integration Rules? Search on Bibsonomy ACM SIGSAM Bulletin The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Erich Kaltofen, Bruno Buchberger Special Issue Computational Algebraic Complexity Editorial. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Algebraic Methods for Non-Linear Computational Geometry (Invited Address). Search on Bibsonomy Symposium on Computational Geometry The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger History and Basic Features of the Critical-Pair/Completion Procedure. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Applications of Gröbner Bases in Non-linear Computational Geometry. Search on Bibsonomy Trends in Computer Algebra The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Franz Winkler 0001, Bruno Buchberger, Franz Lichtenberger, Heinrich Rolletschek Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF Gro¨bner bases, computer algebra, simplification, polynomial ideals, Church-Rosser property
1Bruno Buchberger CAMP: a teaching project in symbolic computation at the University of Linz. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Wolfgang Bibel, Bruno Buchberger Towards a connection machine for logical inference. Search on Bibsonomy Future Generation Comp. Syst. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger The L-Machine: An Attempt at Parallel Hardware for Symbolic Computation. Search on Bibsonomy AAECC The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Basic Features and Development of the Critical-Pair/Completion Procedure. Search on Bibsonomy RTA The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Peter Hintenaus, Bruno Buchberger The L-Language for the Parallel L-Machine. Search on Bibsonomy ÖGAI The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger The Parallel L-Machine for Symbolic Computation. Search on Bibsonomy European Conference on Computer Algebra (2) The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger (eds.) EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 1: Invited Lectures Search on Bibsonomy EUROCAL The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1S. Kamal Abdali, Bruno Buchberger Abstracts. Search on Bibsonomy ACM SIGSAM Bulletin The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Algorithms: R Sedgewick Addison-Wesley, Reading, MA, USA (1983) £13.95 pp 551. Search on Bibsonomy Microprocessors and Microsystems - Embedded Hardware Design The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Franz Winkler 0001, Bruno Buchberger A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm. Search on Bibsonomy ACM SIGSAM Bulletin The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Computer algebra: symbolic and algebraic computation, 2nd Edition. Search on Bibsonomy 1983   RDF
1Bruno Buchberger A critical-pair/completion algorithm for finitely generated ideals in rings. Search on Bibsonomy Logic and Machines The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger A note on the complexity of constructing Gröbner-Bases. Search on Bibsonomy EUROCAL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger, George E. Collins, Rüdiger Loos, R. Albrecht Computer algebra symbolic and algebraic computation. Search on Bibsonomy ACM SIGSAM Bulletin The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Computer algebra - symbolic and algebraic computation. Search on Bibsonomy 1982   RDF
1Bruno Buchberger Computer-unterstützter Algorithmenentwurf. Search on Bibsonomy KIFS The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1H. Michael Möller, Bruno Buchberger The Construction of Multivariate Polynomials with Preassigned Zeros. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Leo Bachmair, Bruno Buchberger A simplified proof of the characterization theorem for Gröbner-bases. Search on Bibsonomy ACM SIGSAM Bulletin The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger, Franz Lichtenberger Mathematik für Informatiker I: Die Methode der Mathematik Search on Bibsonomy 1980   DOI  RDF
1Bruno Buchberger, J. Fegerl, Franz Lichtenberger Computer trees: a concept for parallel processing. Search on Bibsonomy Microprocessors and Microsystems - Embedded Hardware Design The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger A criterion for detecting unnecessary reductions in the construction of Groebner bases. Search on Bibsonomy EUROSAM The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
1Christoph Kollreider, Bruno Buchberger An improved algorithmic construction of Gröbner-bases for polynomial ideals. Search on Bibsonomy ACM SIGSAM Bulletin The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Some properties of Gröbner-bases for polynomial ideals. Search on Bibsonomy ACM SIGSAM Bulletin The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger A theoretical basis for the reduction of polynomials to canonical forms. Search on Bibsonomy ACM SIGSAM Bulletin The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Bemerkung zu den Reduzierbarkeitskriterien vonR.Albrecht für das Optimum-Mix-Problem. Search on Bibsonomy Zeitschr. für OR The full citation details ... 1972 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Certain decompositions of Gödel numbering and the semantics of programming languages. Search on Bibsonomy International Sympoisum on Theoretical Programming The full citation details ... 1972 DBLP  DOI  BibTeX  RDF
1R. Albrecht, Bruno Buchberger Algorithmus 13 Lösung eines Optimum-Mix-Problemes. Search on Bibsonomy Computing The full citation details ... 1970 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #98 of 98 (100 per page; Change: )
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