The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Tabling with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1990-1998 (16) 1999-2000 (22) 2001-2002 (17) 2003-2004 (19) 2005-2006 (15) 2007-2008 (20) 2009-2010 (22) 2011-2013 (17) 2014-2016 (15) 2017-2023 (7)
Publication types (Num. hits)
article(50) incollection(1) inproceedings(116) phdthesis(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 94 occurrences of 34 keywords

Results
Found 170 publication records. Showing 170 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
155Neng-Fa Zhou, Taisuke Sato Efficient fixpoint computation in linear tabling. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF linear tabling, prolog, recursion, tabling, optimization techniques, memoization
126Ricardo Rocha 0001, Cláudio Silva 0001, Ricardo Lopes On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
118Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa Or-Parallelism within Tabling. Search on Bibsonomy PADL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Tabling, Or-Parallelism, Parallel Logic Programming
111Zoltan Somogyi, Konstantinos Sagonas Tabling in Mercury: Design and Implementation. Search on Bibsonomy PADL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
103Konstantinos Sagonas, Peter J. Stuckey Just enough tabling. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF suspension/resumption in the WAM, logic programming, pruning, tabling
103Tom Schrijvers, David Scott Warren Constraint Handling Rules and Tabled Execution. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
96Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato Semi-naive evaluation in linear tabling. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF linear tabling, semi-naive evaluation, prolog, recursion, tabling, memoization
89Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa On a Tabling Engine That Can Exploit Or-Parallelism. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Tabling, Or-Parallelism, Parallel Logic Programming
82Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You Implementation of a Linear Tabling Mechanism. Search on Bibsonomy PADL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
80K. Tuncay Tekle, Yanhong A. Liu Precise complexity analysis for efficient datalog queries. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF demand-driven evaluation, optimization, program transformation, datalog, tabling, complexity analysis
80Jorge Costa, João Raimundo, Ricardo Rocha 0001 A Term-Based Global Trie for Tabled Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Table Space, Implementation, Tabling Logic Programming
80Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa Achieving Scalability in Parallel Tabled Logic Programs. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Tabling, Parallel Logic Programming
74Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo A Tabling Implementation Based on Variables with Multiple Bindings. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Performance, Logic Programming, Implementation, Tabling, OR-Parallelism
74Ricardo Rocha 0001 On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation. Search on Bibsonomy PADL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
67Ricardo Rocha 0001, Ricardo Lopes, Fernando M. A. Silva, Vítor Santos Costa IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
67Ricardo Rocha 0001, Nuno A. Fonseca, Vítor Santos Costa On Applying Tabling to Inductive Logic Programming. Search on Bibsonomy ECML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
67Bart Demoen, Konstantinos Sagonas CAT: The Copying Approach to Tabling. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
66Jorge Costa, Ricardo Rocha 0001 One Table Fits All. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Table Space, Implementation, Tabling Logic Programming
59Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas Termination proofs for logic programs with tabling. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF prolog, tabling, SLG-resolution
59Jacques Calmet, Peter Kullmann A Data Structure for Subsumption-Based Tabling in Top-Drown Resolution Engines for Data-Intensive Logic Applications. Search on Bibsonomy ISMIS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Subsumption-based Tabling, Information Integration, Intelligent Information Retrieval, Logic for Artificial Intelligence
59Paul Fodor Research Summary: Tabled Evaluation for Transaction Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
59Ricardo Rocha 0001 Handling Incomplete and Complete Tables in Tabled Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
59Baoqiu Cui, David Scott Warren A System for Tabled Constraint Logic Programming. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
52Pedro Costa 0004, Ricardo Rocha 0001, Michel Ferreira Relational Models for Tabling Logic Programs in a Database. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
52Bart Demoen, Konstantinos Sagonas CHAT: The Copy-Hybrid Approach to Tabling. Search on Bibsonomy PADL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
52Bart Demoen, Konstantinos Sagonas Memory Management for Prolog with Tabling. Search on Bibsonomy ISMM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Prolog
46João Santos 0004, Ricardo Rocha 0001 Efficient Support for Mode-Directed Tabling in the YapTab Tabling System Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
44Beata Sarna-Starosta, C. R. Ramakrishnan 0001 Compiling Constraint Handling Rules for Efficient Tabled Evaluation. Search on Bibsonomy PADL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa Concurrent Table Accesses in Parallel Tabled Logic Programs. Search on Bibsonomy Euro-Par The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
44Giridhar Pemmasani, C. R. Ramakrishnan 0001, I. V. Ramakrishnan Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Bart Demoen, Konstantinos Sagonas Heap Garbage Collection in XSB: Practice and Experience. Search on Bibsonomy PADL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38Cláudio Silva 0001, Ricardo Rocha 0001, Ricardo Lopes An External Module for Implementing Linear Tabling in Prolog. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Miguel Alves, Carlos Viegas Damásio, Wolfgang Nejdl, Daniel Olmedilla A Distributed Tabling Algorithm for Rule Based Policy Systems. Search on Bibsonomy POLICY The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Calogero Di Stefano, Andrea Tettamanzi An Evolutionary Algorithm for Solving the School Time-Tabling Problem. Search on Bibsonomy EvoWorkshops The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
38Guizhen Yang, Michael Kifer FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38Martin Schmidt 0001 Solving Real-Life Time-Tabling Problems. Search on Bibsonomy ISMIS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Terrance Swift An Engine for Computing Well-Founded Models. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Tabling, WAM
36Miguel Areias 0001, Ricardo Rocha 0001 On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs. Search on Bibsonomy EPIA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Deterministic Calls and Answers, Implementation, Tabling
36Sofie Verbaeten, Danny De Schreye Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Logic Programming, Termination, Tabling
36Konstantinos Sagonas, Terrance Swift An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SLG, memoing, stratification theories, prolog, tabling, WAM
29Gulay Ünel, David Toman 0001 Logic Programming Approach to Automata-Based Decision Procedures. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Michel Ferreira The MYDDAS Project: Using a Deductive Database for Traffic Characterization. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa Speculative Computations in Or-Parallel Tabled Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Éric Villemonte de la Clergerie Natural Language Tabular Parsing. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Hai-Feng Guo, Gopal Gupta 0001 A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Michael Codish, Bart Demoen, Konstantinos Sagonas Semantics-Based Program Analysis for Logic-Based Languages Using XSB. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Semantics-based program analysis, Logic programming language analysis, XSB
29Juliana 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
29Konstantinos Sagonas, Terrance Swift, David Scott Warren XSB as an Efficient Deductive Database Engine. Search on Bibsonomy SIGMOD Conference The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Prolog
23Keshun You, Liu Huizhong Intelligent Deployment Solution for Tabling Adapting Deep Learning. Search on Bibsonomy IEEE Access The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Ridhwan Dewoprabowo, Ari Saptawijaya Tabling Optimization for Contextual Abduction. Search on Bibsonomy ICLP Technical Communications The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Miguel Areias 0001, Ricardo Rocha 0001 Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog. Search on Bibsonomy Concurr. Comput. Pract. Exp. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Samer Abdallah More declarative tabling in Prolog using multi-prompt delimited control. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
23Miguel Areias 0001, Ricardo Rocha 0001 On scaling dynamic programming problems with a multithreaded tabling Prolog system. Search on Bibsonomy J. Syst. Softw. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Jip J. Dekker, Gustav Björdal, Mats Carlsson, Pierre Flener, Jean-Noël Monette Auto-tabling for subproblem presolving in MiniZinc. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Fritz Henglein, Ulrik Terp Rasmussen PEG parsing in less space using progressive tabling and dynamic analysis. Search on Bibsonomy PEPM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers Tabling with Sound Answer Subsumption. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
23Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers Tabling with Sound Answer Subsumption. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
23Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke Tabling as a Library with Delimited Control. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
23Benoit Desouter, Tom Schrijvers, Marko van Dooren Tabling as a Library with Delimited Control. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
23Benoit Desouter, Marko van Dooren, Tom Schrijvers Tabling as a library with delimited control. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
23Miguel Areias 0001, Ricardo Rocha 0001 Batched Evaluation of Full-Sharing Multithreaded Tabling. Search on Bibsonomy SLATE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
23Miguel Areias 0001 Multithreaded Tabling for Logic Programming Search on Bibsonomy 2015   RDF
23Terrance Swift Incremental Tabling in Support of Knowledge Representation and Reasoning. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
23Theofrastos Mantadelis, Ricardo Rocha 0001, Paulo Moura Tabling, Rational Terms, and Coinduction Finally Together! Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
23Miguel Areias 0001, Ricardo Rocha 0001 A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
23Ari Saptawijaya, Luís Moniz Pereira Joint Tabling of Logic Program Abductions and Updates. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
23Terrance Swift Incremental Tabling in Support of Knowledge Representation and Reasoning. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
23Theofrastos Mantadelis, Ricardo Rocha 0001, Paulo Moura Tabling, Rational Terms, and Coinduction Finally Together! Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
23Jean-Noël Vittaut, Jean Méhat Fast Instantiation of GGP Game Descriptions Using Prolog with Tabling. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
23Jean-Noël Vittaut, Jean Méhat Efficient Grounding of Game Descriptions with Tabling. Search on Bibsonomy CGW@ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
23João Santos 0004, Ricardo Rocha 0001 On the Efficient Implementation of Mode-Directed Tabling. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
23Ari Saptawijaya, Luís Moniz Pereira Incremental Tabling for Query-Driven Propagation of Logic Program Updates. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
23Ari Saptawijaya, Luís Moniz Pereira Program Updating by Incremental and Answer Subsumption Tabling. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
23Fernando Sáenz-Pérez Tabling with Support for Relational Features in a Deductive Database. Search on Bibsonomy Electron. Commun. Eur. Assoc. Softw. Sci. Technol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
23Neng-Fa Zhou, Christian Theil Have Efficient Tabling of Structured Data with Enhanced Hash-Consing Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
23Miguel Areias 0001, Ricardo Rocha 0001 Towards Multi-Threaded Local Tabling Using a Common Table Space Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
23Miguel Areias 0001, Ricardo Rocha 0001 Towards multi-threaded local tabling using a common table space. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
23Neng-Fa Zhou, Christian Theil Have Efficient tabling of structured data with enhanced hash-consing. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
23Christian Theil Have, Henning Christiansen 0001 Efficient Tabling of Structured Data Using Indexing and Program Transformation. Search on Bibsonomy PADL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
23Taisuke Sato, Philipp J. Meyer Tabling for infinite probability computation. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
23Miguel Areias 0001, Ricardo Rocha 0001 On Extending a Linear Tabling Framework to Support Batched Scheduling. Search on Bibsonomy SLATE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
23João Santos 0004, Ricardo Rocha 0001 Mode-Directed Tabling and Applications in the YapTab System. Search on Bibsonomy SLATE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
23Pablo Chico de Guzmán Estrategias Avanzadas de Tabulación y Paralelismo en Programas Lógicos = Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs. Search on Bibsonomy 2012   RDF
23Fabrizio Riguzzi, Terrance Swift The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
23Fabrizio Riguzzi, Terrance Swift The PITA system: Tabling and answer subsumption for reasoning under uncertainty. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
23K. Tuncay Tekle, Yanhong A. Liu More efficient datalog queries: subsumptive tabling beats magic sets. Search on Bibsonomy SIGMOD Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
23Pablo Chico de Guzmán, Manuel Carro, David Scott Warren Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
23Pablo Chico de Guzmán, Manuel Carro, David Scott Warren Swapping evaluation: A memory-scalable solution for answer-on-demand tabling. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Ashiqur Md. Rahman, Sheik Shafaat Giasuddin, Rashedur M. Rahman Decision Tree Based Routine Generation (DRG) Algorithm: A Data Mining Advancement to Generate Academic Routine and Exam-time Tabling for Open Credit System. Search on Bibsonomy J. Comput. The full citation details ... 2010 DBLP  BibTeX  RDF
23Rui Marques, Terrance Swift, José C. Cunha A Simple and Efficient Implementation of Concurrent Local Tabling. Search on Bibsonomy PADL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Miguel Areias 0001, Ricardo Rocha 0001 An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives. Search on Bibsonomy PADL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Fabrizio Riguzzi, Terrance Swift Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Theofrastos Mantadelis, Gerda Janssens Dedicated Tabling for a Probabilistic Setting. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving. Search on Bibsonomy ICTAI (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Paul Fodor, Michael Kifer Tabling for transaction logic. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Terrance Swift, David Scott Warren Tabling with Answer Subsumption: Implementation, Applications and Performance. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23José Júlio Alferes, Matthias Knorr 0001, Terrance Swift Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. Search on Bibsonomy ISWC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen Linear tabling strategies and optimizations. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Hai-Feng Guo, Gopal Gupta 0001 Simplifying dynamic programming via mode-directed tabling. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 170 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license