The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Mats Carlsson" ( http://dblp.L3S.de/Authors/Mats_Carlsson )

URL (Homepage):  http://www.sics.se/~matsc/index.shtml  Author page on DBLP  Author page in RDF  Community of Mats Carlsson in ASPL-2

Publication years (Num. hits)
1984-1994 (15) 1995-2002 (16) 2004-2009 (16) 2010-2013 (16) 2014-2016 (19) 2017-2019 (11)
Publication types (Num. hits)
article(25) incollection(2) inproceedings(64) phdthesis(1) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 26 occurrences of 21 keywords

Results
Found 94 publication records. Showing 93 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson Time-aware Test Case Execution Scheduling for Cyber-Physical Systems. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte 0001 Combinatorial Register Allocation and Instruction Scheduling. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson Time-aware Test Execution Scheduling for Cyber-Physical Systems. Search on Bibsonomy SE/SWM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte 0001 Combinatorial Register Allocation and Instruction Scheduling. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. Search on Bibsonomy SEFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gabriel Hjort Blindell, Mats Carlsson, Roberto Castañeda Lozano, Christian Schulte 0001 Complete and Practical Universal Instruction Selection. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mats Carlsson, Mikael Johansson 0001, Jeffrey Larson Scheduling double round-robin tournaments with divisional play using constraint programming. Search on Bibsonomy European Journal of Operational Research The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jip J. Dekker, Gustav Björdal, Mats Carlsson, Pierre Flener, Jean-Noël Monette Auto-tabling for subproblem presolving in MiniZinc. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud'homme, Andreas Schutt, Peter J. Stuckey Range-Consistent Forbidden Regions of Allen's Relations. Search on Bibsonomy CPAIOR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mats Carlsson, Olga Grinchtein, Justin Pearson Modelling and Verification of User Interactions Using Constraint Programming. Search on Bibsonomy QRS Companion The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis Global Constraint Catalog, Volume II, Time-Series Constraints. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis Using finite transducers for describing and synthesising structural time-series constraints. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte 0001 Register allocation and instruction scheduling in Unison. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arnaud Gotlieb, Mats Carlsson, Marius Liaaen, Dusica Marijan, Alexandre Petillon Automated Regression Testing Using Constraint Programming. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Arnaud Gotlieb, Mats Carlsson, Dusica Marijan, Alexandre Petillon A New Approach to Feature-based Test Suite Reduction in Software Product Line Testing. Search on Bibsonomy ICSOFT-EA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mats Carlsson, Arnaud Gotlieb, Dusica Marijan Software Product Line Test Suite Reduction with Constraint Optimization. Search on Bibsonomy ICSOFT (Selected Papers) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mats Carlsson Combinatorial Problem Solving for Fair Play. Search on Bibsonomy ERCIM News The full citation details ... 2015 DBLP  BibTeX  RDF
1Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu Synchronized sweep algorithms for scalable scheduling constraints. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ambuj Varshney, Luca Mottola, Mats Carlsson, Thiemo Voigt Directional Transmissions and Receptions for High-throughput Bulk Forwarding in Wireless Sensor Networks. Search on Bibsonomy SenSys The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Olga Grinchtein, Mats Carlsson, Justin Pearson Testing of a telecommunication protocol using constraint programming. Search on Bibsonomy ICST Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Olga Grinchtein, Mats Carlsson, Justin Pearson A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs. Search on Bibsonomy TAP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte 0001 Modeling Universal Instruction Selection. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte 0001 Erratum to: Modeling Universal Instruction Selection. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme A Modelling Pearl with Sortedness Constraints. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Jeffrey Larson, Mikael Johansson 0001, Mats Carlsson An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments. Search on Bibsonomy CPAIOR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte 0001 Combinatorial spill code optimization and ultimate coalescing. Search on Bibsonomy LCTES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mats Carlsson, Olga Grinchtein, Justin Pearson Protocol Log Analysis with Constraint Programming. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson On the reification of global constraints. Search on Bibsonomy Constraints The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson On matrices, automata, and double counting in constraint programming. Search on Bibsonomy Constraints The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint. Search on Bibsonomy CPAIOR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Roberto Castañeda Lozano, Gabriel Hjort Blindell, Mats Carlsson, Frej Drejhammar, Christian Schulte 0001 Constraint-based code generation. Search on Bibsonomy M-SCOPES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Naina Razakarison, Mats Carlsson, Nicolas Beldiceanu, Helmut Simonis GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials. Search on Bibsonomy SOCS The full citation details ... 2013 DBLP  BibTeX  RDF
1Mats Carlsson, Per Mildner SICStus Prolog - The first 25 years. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Thierry Petit, Jean-Charles Régin An O(nlog n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Roberto Castañeda Lozano, Mats Carlsson, Frej Drejhammar, Christian Schulte 0001 Constraint-Based Register Allocation and Instruction Scheduling. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Arnaud Letort, Nicolas Beldiceanu, Mats Carlsson A Scalable Sweep Algorithm for the cumulative Constraint. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Emmanuel Poder New filtering for the cumulative constraint in the context of non-overlapping rectangles. Search on Bibsonomy Annals OR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Danica Damljanovic, Johann Petrak, Mihai Lupu, Hamish Cunningham, Mats Carlsson, Gunnar Engstrom, Bo Andersson Random Indexing for Finding Similar Nodes within Large RDF graphs. Search on Bibsonomy RED@ESWC The full citation details ... 2011 DBLP  BibTeX  RDF
1Danica Damljanovic, Johann Petrak, Mihai Lupu, Hamish Cunningham, Mats Carlsson, Gunnar Engstrom, Bo Andersson Random Indexing for Finding Similar Nodes within Large RDF Graphs. Search on Bibsonomy ESWC Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Abder Aggoun, Nicolas Beldiceanu, Mats Carlsson, François Fages Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems. Search on Bibsonomy ERCIM News The full citation details ... 2010 DBLP  BibTeX  RDF
1Mats Carlsson, Per Mildner SICStus Prolog -- the first 25 years Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson On Matrices, Automata, and Double Counting. Search on Bibsonomy CPAIOR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada 0001, Mats Carlsson A Generic Visualization Platform for CP. Search on Bibsonomy CP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Mats Carlsson, Christian Schulte 0001 Constraint Programming in Sweden. Search on Bibsonomy IEEE Intelligent Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Magnus Ågren 0002, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi, Charlotte Truchet, Stéphane Zampelli Six Ways of Integrating Symmetries within Non-overlapping Constraints. Search on Bibsonomy CPAIOR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles. Search on Bibsonomy CPAIOR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mats Carlsson, Nicolas Beldiceanu, Julien Martin A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit Global Constraint Catalogue: Past, Present and Future. Search on Bibsonomy Constraints The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Graph invariant, Graph, Meta-data, Bound, Global constraint, Catalogue
1Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001, Mats Carlsson Finite Domain Constraint Programming Systems. Search on Bibsonomy Handbook of Constraint Programming The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Sven Thiel Sweep synchronization as a global propagation mechanism. Search on Bibsonomy Computers & OR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit Graph Properties Based Filtering. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Brahim Hnich, Mats Carlsson, François Fages, Francesca Rossi (eds.) Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers Search on Bibsonomy CSCLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit Reformulation of Global Constraints Based on Constraints Checkers. Search on Bibsonomy Constraints The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automata, global constraints, reformulation
1Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet Graph Invariants as Necessary Conditions for Global Constraints. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Adam Ameur, Erik Aurell, Mats Carlsson, Jakub Orzechowski Westholm Global gene expression analysis by combinatorial optimization. Search on Bibsonomy In Silico Biology The full citation details ... 2004 DBLP  BibTeX  RDF
1Mats Carlsson, Nicolas Beldiceanu From Constraints to Finite Automata to Filtering Algorithms. Search on Bibsonomy ESOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Mats Carlsson, Nicolas Beldiceanu Dispensation Order Generation for Pyrosequencing. Search on Bibsonomy APBC The full citation details ... 2004 DBLP  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Thierry Petit Deriving Filtering Algorithms from Constraint Checkers. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Magnus Ågren 0002, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson Tracing and Explaining Execution of CLP(FD) Programs. Search on Bibsonomy WLPE The full citation details ... 2002 DBLP  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson A New Multi-resource cumulatives Constraint with Negative Heights. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo Parallel execution of prolog programs: a survey. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF parallelism, logic programming, prolog, constraint programming, Automatic parallelization
1Nicolas Beldiceanu, Mats Carlsson Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Henrik Nässén, Mats Carlsson, Konstantinos Sagonas Instruction Merging and Specialization in the SICStus Prolog Virtual Machine. Search on Bibsonomy PPDP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint. Search on Bibsonomy CP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Mats Carlsson, Per Kreuger, Emil Åström Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing. Search on Bibsonomy PADL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF flow maximization, steel manufacturing, scheduling, finite domain constraints
1Mats Carlsson, Jeremy Rogers, Hans Åhlfeldt Aggregation and reclassification-assessment of GALEN methods in the domain of thoracic surgery. Search on Bibsonomy AMIA The full citation details ... 1999 DBLP  BibTeX  RDF
1Jesper Eskilson, Mats Carlsson SICStus MT - A Multithreaded Execution Environment for SICStus Prolog. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF logic programming, implementation, multithreading, machines
1Jesper Eskilson, Mats Carlsson SICStus MT - Multithreaded Execution Environment for SICStus Prolog. Search on Bibsonomy Implementation Technology for Programming Languages based on Logic The full citation details ... 1998 DBLP  BibTeX  RDF
1Mats Carlsson, Daniel Karlsson, Hans Åhlfeldt, Ove Wigertz Design and Application of a Terminology Management System. Search on Bibsonomy MedInfo The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
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
1Gopal Gupta, Mats Carlsson Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems. Search on Bibsonomy J. Log. Program. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Mats Carlsson, Björn Carlson, Greger Ottosson Towards an Open Finite Domain Constraint Solver. Search on Bibsonomy CP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Björn Carlson, Mats Carlsson, Sverker Janson The implementation of AKL(FD). Search on Bibsonomy ILPS The full citation details ... 1995 DBLP  BibTeX  RDF
1Björn Carlson, Mats Carlsson Compiling and Executing Disjunctions of Finite Domain Constraints. Search on Bibsonomy ICLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Björn Carlson, Mats Carlsson, Daniel Diaz Entailment of Finite Domain Constraints. Search on Bibsonomy ICLP The full citation details ... 1994 DBLP  BibTeX  RDF
1Mats Carlsson, Thomas Hallgren FUDGETS: A Graphical User Interface in a Lazy Functional Language. Search on Bibsonomy FPCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Mats Carlsson, Mats Grindal Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques. Search on Bibsonomy ICLP The full citation details ... 1993 DBLP  BibTeX  RDF
1Péter Szeredi, Rong Yang, Mats Carlsson Interfacing Engines and Schedulers in OR-Parallel Prolog Systems. Search on Bibsonomy PARLE (2) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Or-Parallel Execution, Scheduling, Multiprocessors, Implementation Techniques
1Mats Carlsson Design and implementation of an or-parallel Prolog engine. Search on Bibsonomy 1990   RDF
1Mats Carlsson On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog. Search on Bibsonomy ICLP The full citation details ... 1989 DBLP  BibTeX  RDF
1Karen Appleby, Mats Carlsson, Seif Haridi, Dan Sahlin Garbage Collection for Prolog Based on WAM. Search on Bibsonomy Commun. ACM The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Mats Carlsson, Kenneth J. Danhof, Ross A. Overbeek A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Ewing L. Lusk, Ralph Butler, Terry Disz, Robert Olson, Ross A. Overbeek, Rick L. Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman The Aurora Or-Parallel Prolog System. Search on Bibsonomy FGCS The full citation details ... 1988 DBLP  BibTeX  RDF
1Mats Carlsson Freeze, Indexing, and Other Implementation Issues in the WAM. Search on Bibsonomy ICLP The full citation details ... 1987 DBLP  BibTeX  RDF
1Mats Carlsson A Microcoded Unifier for Lisp Machine Prolog. Search on Bibsonomy SLP The full citation details ... 1985 DBLP  BibTeX  RDF
1Mats Carlsson On Implementing Prolog in Functional Programming. Search on Bibsonomy New Generation Comput. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Kenneth M. Kahn, Mats Carlsson How to Implement Prolog on a LISP Machine. Search on Bibsonomy Implementations of Prolog The full citation details ... 1984 DBLP  BibTeX  RDF
1Mats Carlsson On Implementing Prolog in Functional Programming. Search on Bibsonomy SLP The full citation details ... 1984 DBLP  BibTeX  RDF
1Kenneth M. Kahn, Mats Carlsson The Compilation of Prolog Programs without the Use of a Prolog Compiler. Search on Bibsonomy FGCS The full citation details ... 1984 DBLP  BibTeX  RDF
Displaying result #1 - #93 of 93 (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