The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michael Codish" ( http://dblp.L3S.de/Authors/Michael_Codish )

URL (Homepage):  http://www.cs.bgu.ac.il/~mcodish/  Author page on DBLP  Author page in RDF  Community of Michael Codish in ASPL-2

Publication years (Num. hits)
1986-1993 (20) 1994-1996 (16) 1997-2000 (18) 2001-2006 (17) 2007-2010 (16) 2011-2013 (15) 2014-2015 (18) 2016-2019 (16)
Publication types (Num. hits)
article(64) incollection(1) inproceedings(70) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 22 occurrences of 13 keywords

Results
Found 137 publication records. Showing 136 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Michael Codish, Luís Cruz-Filipe, Thorsten Ehlers, Mike Müller, Peter Schneider-Kamp Sorting networks: To the end and back again. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey Constraints for symmetry breaking in graph representation. Search on Bibsonomy Constraints The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Codish A SAT Encoding for the n-Fractions Problem. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey Breaking Symmetries with Lex Implications. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Morad Muslimany, Michael Codish SAT-Based Big-Step Local Search. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Bundala, Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp, Jakub Závodný Optimal-depth sorting networks. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp Optimizing sorting algorithms by using sorting networks. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Codish, Michael Frank 0002, Amit Metodi, Morad Muslimany Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description). Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Codish, Michael Frank 0002, Vitaly Lagoon The DNA Word Design Problem: A New Constraint Model and New Results. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Codish, Eijiro Sumii Preface for special section from FLOPS 2014. Search on Bibsonomy J. Funct. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Michael Frank 0002, Peter Schneider-Kamp Sorting nine inputs requires twenty-five comparisons. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Codish, Michael Frank 0002, Avraham Itzhakov, Alice Miller Computing the Ramsey number R(4, 3, 3) using abstraction and symmetry breaking. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Avraham Itzhakov, Michael Codish Breaking symmetries in graph search with canonizing sets. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Frank 0002, Michael Codish Logic Programming with Graph Automorphism: Integrating naut with Prolog (a Tool Paper). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Michael Frank 0002, Michael Codish Logic Programming with Graph Automorphism: Integrating nauty with Prolog (Tool Description). Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey Breaking Symmetries in Graphs: The Nauty Way. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Michael Frank 0002, Peter Schneider-Kamp When Six Gates are Not Enough. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael Codish, Michael Frank 0002, Avraham Itzhakov, Alice Miller Computing the Ramsey Number R(4, 3, 3) using Abstraction and Symmetry breaking. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Thorsten Ehlers, Mike Müller, Peter Schneider-Kamp Sorting Networks: to the End and Back Again. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Avraham Itzhakov, Michael Codish Breaking Symmetries in Graph Search with Canonizing Sets. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp Applying Sorting Networks to Synthesize Optimized Sorting Libraries. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp Sorting Networks: The End Game. Search on Bibsonomy LATA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp Applying Sorting Networks to Synthesize Optimized Sorting Libraries. Search on Bibsonomy LOPSTR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Amit Metodi, Roni Stern, Meir Kalech, Michael Codish A Novel SAT-Based Approach to Model Based Diagnosis. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Daniel Bundala, Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp, Jakub Závodný Optimal-Depth Sorting Networks. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Amit Metodi, Michael Codish, Peter James Stuckey Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Michael Frank 0002, Peter Schneider-Kamp Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten). Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp Sorting Networks: the End Game. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Codish, Michael Frank 0002, Avraham Itzhakov, Alice Miller Solving Graph Coloring Problems with Abstraction and Symmetry: the Ramsey Number R(4, 3, 3)=30. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Codish, Eijiro Sumii (eds.) Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Michael Frank 0002, Peter Schneider-Kamp Twenty-Five Comparators Is Optimal When Sorting Nine Inputs (and Twenty-Nine for Ten). Search on Bibsonomy ICTAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yoav Fekete, Michael Codish Simplifying Pseudo-Boolean Constraints in Residual Number Systems. Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes. Search on Bibsonomy SYNASC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Amit Metodi, Michael Codish, Peter J. Stuckey Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Codish, Yoav Fekete, Amit Metodi Compiling Finite Domain Constraints to SAT with BEE: the Director's Cut. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Michael Codish, Yoav Fekete, Amit Metodi Backbones for Equality. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey Breaking Symmetries in Graph Representation. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Amit Metodi, Michael Codish Compiling Finite Domain Constraints to SAT with BEE Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Amit Metodi, Michael Codish Compiling finite domain constraints to SAT with BEE. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Codish, Jürgen Giesl, Peter Schneider-Kamp, René Thiemann SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Codish Programming with Boolean Satisfaction. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Amit Metodi, Roni Stern, Meir Kalech, Michael Codish Compiling Model-Based Diagnosis to Boolean Satisfaction. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Michael Codish, Yoav Fekete, Carsten Fuhs, Jürgen Giesl, Johannes Waldmann Exotic Semi-Ring Constraints. Search on Bibsonomy SMT@IJCAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amram, Carsten Fuhs, Jürgen Giesl SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey Boolean Equi-propagation for Optimized SAT Encoding Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amram, Carsten Fuhs, Jürgen Giesl SAT-based termination analysis using monotonicity constraints over the integers. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp Optimal Base Encodings for Pseudo-Boolean Constraints. Search on Bibsonomy TACAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey Boolean Equi-propagation for Optimized SAT Encoding. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp Optimal Base Encodings for Pseudo-Boolean Constraints Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Michael Codish, Carsten Fuhs, Jürgen Giesl, Peter Schneider-Kamp Lazy Abstraction for Size-Change Termination. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Codish, Moshe Zazon-Ivry Pairwise Cardinality Networks. Search on Bibsonomy LPAR (Dakar) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Olga Ohrimenko, Peter J. Stuckey, Michael Codish Propagation via lazy clause generation. Search on Bibsonomy Constraints The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Finite domain propagation, Boolean variables, SAT solver
1Michael Codish, Samir Genaim, Peter J. Stuckey A declarative encoding of telecommunications feature subscription in SAT. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF sat solving, telecommunications feature subscription, declarative modelling
1Michael Codish, Vitaly Lagoon, Peter J. Stuckey Solving Partial Order Constraints for LPO Termination. Search on Bibsonomy JSAT The full citation details ... 2008 DBLP  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Peter J. Stuckey Logic programming with satisfiability. Search on Bibsonomy TPLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Amir M. Ben-Amram, Michael Codish A SAT-Based Approach to Size Change Termination with Global Ranking Functions. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini Termination Analysis of Java Bytecode. Search on Bibsonomy FMOODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Peter J. Stuckey Telecommunications Feature Subscription as a Partial Order Constraint Problem. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Peter J. Stuckey Logic Programming with Satisfiability Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof Termination analysis of logic programs through combination of type-based norms. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program analysis, Abstract interpretation, dataflow analysis, termination analysis, global analysis, groundness analysis
1Peter Schneider-Kamp, Carsten Fuhs, René Thiemann, Jürgen Giesl, Elena Annov, Michael Codish, Aart Middeldorp, Harald Zankl Implementing RPO and POLO using SAT. Search on Bibsonomy Deduction and Decision Procedures The full citation details ... 2007 DBLP  BibTeX  RDF
1Olga Ohrimenko, Peter J. Stuckey, Michael Codish Propagation = Lazy Clause Generation. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Michael Codish Proving Termination with (Boolean) Satisfaction. Search on Bibsonomy LOPSTR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Peter Schneider-Kamp, René Thiemann, Elena Annov, Michael Codish, Jürgen Giesl Proving Termination Using Recursive Path Orders and SAT Solving. Search on Bibsonomy FroCoS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl SAT Solving for Argument Filterings Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Peter J. Stuckey Solving Partial Order Constraints for LPO Termination. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl SAT Solving for Argument Filterings. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey Size-Change Termination Analysis in k-Bits. Search on Bibsonomy ESOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Peter J. Stuckey Solving Partial Order Constraints for LPO Termination Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Samir Genaim, Michael Codish Inferring Termination Conditions for Logic Programs using Backwards Analysis. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Peter J. Stuckey Testing for Termination with Monotonicity Constraints. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Samir Genaim, Michael Codish Inferring Termination Conditions for Logic Programs using Backwards Analysis Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Michael Codish, Samir Genaim Proving Termination One Loop at a Time. Search on Bibsonomy WLPE The full citation details ... 2003 DBLP  BibTeX  RDF
1Michael Codish, Harald Søndergaard Meta-circular Abstract Interpretation in Prolog. Search on Bibsonomy The Essence of Computation The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof Reuse of Results in Termination Analysis of Typed Logic Programs. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon Combining Norms to Prove Termination. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Samir Genaim, Jacob M. Howe, Michael Codish Worst-case groundness analysis using definite boolean functions. Search on Bibsonomy TPLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Samir Genaim, Michael Codish Inferring Termination Conditions for Logic Programs Using Backwards Analysis. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey Higher-Precision Groundness Analysis. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Wim Vanhoof, Michael Codish Pos(T): Analyzing Dependencies in Typed Logic Programs. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Samir Genaim, Michael Codish The Def-inite Approach to Dependency Analysis. Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Andy Heaton, Muhamed Abo-Zaed, Michael Codish, Andy King A simple polynomial groundness analysis for logic programs. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Michael Codish, Kim Marriott, Cohavit Taboch Improving Program Analyses, by Structure Untupling. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Francisco Bueno An Algebraic Approach to Sharing Analysis of Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon Type dependencies for logic programs using ACI-unification. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Michael Codish Worst-Case Groundness Analysis Using Positive Boolean Functions. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Michael Codish, Cohavit Taboch A Semantic Basis for the Termination Analysis of Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Michael Codish Efficient Goal Directed Bottom-Up Evaluation of Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Michael Codish, Harald Søndergaard, Peter J. Stuckey Sharing and groundness dependencies in logic programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Boolean functions, program analysis, abstract interpretation, dataflow analysis, global analysis, groundness analysis, sharing analysis
1Michael Codish, Bart Demoen, Konstantinos Sagonas Semantics-Based Program Analysis for Logic-Based Languages Using XSB. Search on Bibsonomy STTT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Semantics-based program analysis, Logic programming language analysis, XSB
1Michael Codish, Harald Søndergaard The Boolean Logic of Set Sharing Analysis. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Michael Codish, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo Exploiting Goal Independence in the Analysis of Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Francisco Bueno An Algebraic Approach to Sharing Analysis of Logic Programs. Search on Bibsonomy SAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Michael Codish, Cohavit Taboch A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm Constraints. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1997 DBLP  BibTeX  RDF
1Michael Codish, Cohavit Taboch A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints. Search on Bibsonomy ALP/HOA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Michael Codish Efficient Goal Directed Bottom-up Evaluation of Logic Programs. Search on Bibsonomy ICLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Francisco Bueno, Michael Codish, Vitaly Lagoon Sharing Analysis Using Set Logic Programs. Search on Bibsonomy ICLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Michael Codish, Bart Demoen, Konstantinos Sagonas XSB as the Natural Habitat for General Purpose Program Analysis. Search on Bibsonomy ICLP The full citation details ... 1997 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 136 (100 per page; Change: )
Pages: [1][2][>>]
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