The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
1990-1991 (25) 1992 (19) 1993 (20) 1994 (16) 1995 (19) 1996 (19) 1997 (18) 1998 (25) 1999 (17) 2000 (16) 2001 (16) 2002 (22) 2003 (19) 2004 (18) 2005-2006 (29) 2007 (15) 2008-2009 (28) 2010 (16) 2011 (17) 2012 (16) 2013-2014 (33) 2015 (24) 2016 (20) 2017 (20) 2018-2019 (28) 2020 (18) 2021-2022 (20) 2023 (14)
Publication types (Num. hits)
inproceedings(534) proceedings(33)
Venues (Conferences, Journals, ...)
LOPSTR(567)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 39 occurrences of 30 keywords

Results
Found 567 publication records. Showing 567 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Anna Bamberger, Maribel Fernández From Static to Dynamic Access Control Policies via Attribute-Based Category Mining. Search on Bibsonomy LOPSTR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Maribel Fernández Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk). Search on Bibsonomy LOPSTR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Marija Kulas A Term Matching Algorithm and Substitution Generality. Search on Bibsonomy LOPSTR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Marco Carbone, Sonia Marin, Carsten Schürmann 0001 A Logical Interpretation of Asynchronous Multiparty Compatibility. Search on Bibsonomy LOPSTR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Manuel V. Hermenegildo, José F. Morales 0001, Pedro López-García 0001 Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. Search on Bibsonomy LOPSTR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Constrained Horn Clauses Satisfiability via Catamorphic Abstractions. Search on Bibsonomy LOPSTR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Gonzague Yernaux, Wim Vanhoof Predicate Anti-unification in (Constraint) Logic Programming. Search on Bibsonomy LOPSTR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz Towards a Certified Proof Checker for Deep Neural Network Verification. Search on Bibsonomy LOPSTR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. Search on Bibsonomy LOPSTR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Robert Glück, Bishoksan Kafle (eds.) Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings Search on Bibsonomy LOPSTR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Peter Lozov, Dmitry Kosarev, Dmitry Ivanov, Dmitry Boulytchev Relational Solver for Java Generics Type System. Search on Bibsonomy LOPSTR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Hector Suzanne, Emmanuel Chailloux A Reusable Machine-Calculus for Automated Resource Analyses. Search on Bibsonomy LOPSTR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Daniel Jurjo, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo A Rule-Based Approach for Designing and Composing Abstract Domains. Search on Bibsonomy LOPSTR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Jordina Francès de Mas, Juliana Bowles A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification. Search on Bibsonomy LOPSTR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1João Barbosa, Mário Florido, Vítor Santos Costa Typed SLD-Resolution: Dynamic Typing for Logic Programming. Search on Bibsonomy LOPSTR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Thaïs Baudon, Carsten Fuhs, Laure Gonnord Analysing Parallel Complexity of Term Rewriting. Search on Bibsonomy LOPSTR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Raúl Gutiérrez, Miguel Vítores, Salvador Lucas Confluence Framework: Proving Confluence with CONFident. Search on Bibsonomy LOPSTR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Santiago Escobar 0001, Julia Sapiña Variant-Based Equational Anti-unification. Search on Bibsonomy LOPSTR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Samuel Arch, Xiaowen Hu, David Zhao 0001, Pavle Subotic, Bernhard Scholz Building a Join Optimizer for Soufflé. Search on Bibsonomy LOPSTR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Wim Vanhoof (eds.) Logic-Based Program Synthesis and Transformation - 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings Search on Bibsonomy LOPSTR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent On Correctness of Normal Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Alicia Villanueva (eds.) Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings Search on Bibsonomy LOPSTR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Natalya Olegovna Garanina, Sergey M. Staroletov, Sergei Gorlatch Model Checking Meets Auto-Tuning of High-Performance Programs. Search on Bibsonomy LOPSTR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi From Infinity to Choreographies - Extraction for Unbounded Systems. Search on Bibsonomy LOPSTR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Manolis Pitsikalis, Alexei Lisitsa 0001, Shan Luo 0001 Representation and Processing of Instantaneous and Durative Temporal Phenomena. Search on Bibsonomy LOPSTR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Alexander Vandenbroucke, Tom Schrijvers Disjunctive Delimited Control. Search on Bibsonomy LOPSTR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1João Barbosa, Mário Florido, Vítor Santos Costa Data Type Inference for Logic Programming. Search on Bibsonomy LOPSTR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Marco Mantovani 0002, Alberto Momigliano Towards Substructural Property-Based Testing. Search on Bibsonomy LOPSTR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Geoff W. Hamilton The Next 700 Program Transformers. Search on Bibsonomy LOPSTR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Maribel Fernández (eds.) Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings Search on Bibsonomy LOPSTR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Juan José González-Abril, Germán Vidal Prefix-Based Tracing in Message-Passing Concurrency. Search on Bibsonomy LOPSTR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Harald Søndergaard String Abstract Domains and Their Combination. Search on Bibsonomy LOPSTR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Maciej Buszka, Dariusz Biernacki Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines. Search on Bibsonomy LOPSTR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent S-Semantics-an Example. Search on Bibsonomy LOPSTR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Carlos Galindo 0002, Sergio Pérez 0001, Josep Silva Slicing Unconditional Jumps with Unnecessary Control Dependencies. Search on Bibsonomy LOPSTR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Maurizio Gabbrielli (eds.) Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen Terminating Non-disjoint Combined Unification. Search on Bibsonomy LOPSTR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Ignacio Casso, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo Testing Your (Static Analysis) Truths. Search on Bibsonomy LOPSTR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Kentaro Kikuchi, Takahito Aoto 0001 Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables. Search on Bibsonomy LOPSTR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Jack Hughes 0002, Dominic Orchard Resourceful Program Synthesis from Graded Linear Types. Search on Bibsonomy LOPSTR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Sarah Winkler, Georg Moser Runtime Complexity Analysis of Logically Constrained Rewriting. Search on Bibsonomy LOPSTR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jirí Srba Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. Search on Bibsonomy LOPSTR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Manfred Schmidt-Schauß, Yunus D. K. Kutz Nominal Unification with Letrec and Environment-Variables. Search on Bibsonomy LOPSTR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Frantisek Farka slepice: Towards a Verified Implementation of Type Theory in Type Theory. Search on Bibsonomy LOPSTR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Satoshi Matsuoka A Formal Model for a Linear Time Correctness Condition of Proof Nets of Multiplicative Linear Logic. Search on Bibsonomy LOPSTR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. Search on Bibsonomy LOPSTR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler Generating Functions for Probabilistic Programs. Search on Bibsonomy LOPSTR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1José Meseguer 0001 Symbolic Computation in Maude: Some Tapas. Search on Bibsonomy LOPSTR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Paul Tarau Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic Logic. Search on Bibsonomy LOPSTR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Mario Wenzel, Stefan Brass Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines. Search on Bibsonomy LOPSTR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau Pattern Eliminating Transformations. Search on Bibsonomy LOPSTR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Zafer Esen, Philipp Rümmer Reasoning in the Theory of Heap: Satisfiability and Interpolation. Search on Bibsonomy LOPSTR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Patrick Cousot On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics. Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Karsten Diekhoff, Michael Kirsten, Jonas Krämer Verified Construction of Fair Voting Rules. Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maribel Fernández, Bruno Pinaud, János Varga A Port Graph Rewriting Approach to Relational Database Modelling. Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta 0001 Synthesizing Imperative Code from Answer Set Programming Specifications. Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joaquín Arias, Zhuo Chen, Manuel Carro, Gopal Gupta 0001 Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fred Mesnard, Peter J. Stuckey (eds.) Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maja Hanne Kirkeby, Robert Glück Semi-inversion of Conditional Constructor Term Rewriting Systems. Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1María-del-Mar Gallardo, Laura Panizo Trace Analysis Using an Event-Driven Interval Temporal Logic. Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ignacio Casso, José F. Morales 0001, Pedro López-García 0001, Roberto Giacobazzi, Manuel V. Hermenegildo Computing Abstract Distances in Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maximiliano Klemen, Pedro López-García 0001, John P. Gallagher, José F. Morales 0001, Manuel V. Hermenegildo A General Framework for Static Cost Analysis of Parallel Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Temur Kutsia, Cleo Pau Solving Proximity Constraints. Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wim Vanhoof, Gonzague Yernaux Generalization-Driven Semantic Clone Detection in CLP. Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ignacio Casso, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo An Integrated Approach to Assertion-Based Random Testing in Prolog. Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Isabel Garcia-Contreras, José F. Morales 0001, Manuel V. Hermenegildo Incremental Analysis of Logic Programs with Assertions and Open Predicates. Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho A Certified Functional Nominal C-Unification Algorithm. Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent The Prolog Debugger and Declarative Programming. Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Isabel Garcia-Contreras, José F. Morales 0001, Manuel V. Hermenegildo Multivariant Assertion-Based Guidance in Abstract Interpretation. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antonis Troumpoukis, Angelos Charalambidis Predicate Specialization for Definitional Higher-Order Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vincent Nys, Danny De Schreye Compiling Control as Offline Partial Deduction. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato Eliminating Unstable Tests in Floating-Point Programs. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, John P. Gallagher (eds.) Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Étienne Payet Guided Unfoldings for Finding Loops in Standard Term Rewriting. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Henning Christiansen 0001, Maja H. Kirkeby Confluence of CHR Revisited: Invariants and Modulo Equivalence. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska Multiparty Classical Choreographies. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Salvador Lucas Proving Program Properties as First-Order Satisfiability. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1María Alpuente, Angel Cuenca-Ortega, Santiago Escobar 0001, José Meseguer 0001 Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Carlos Olarte An Assertion Language for Slicing Constraint Logic Languages. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Petros Papapanagiotou, Jacques D. Fleuriot A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference. Search on Bibsonomy LOPSTR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Salvador Lucas Analysis of Rewriting-Based Systems as First-Order Theories. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cosimo Laneve, Abel Garcia Deadlock Detection of Java Bytecode. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Huu-Vu Nguyen, Tayssir Touili CARET Analysis of Multithreaded Programs. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho Nominal C-Unification. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michele Alberti, Julien Signoles Context Generation from Formal Specifications for C Analysis Tools. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna 0001 A Certified Reference Validation Mechanism for the Permission Model of Android. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gergö Barany Liveness-Driven Random Program Generation. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maja H. Kirkeby, Henning Christiansen 0001 Confluence and Convergence in Probabilistically Terminating Reduction Systems. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christiane Engels, Andreas Behrend, Stefan Brass A Rule-Based Approach to Analyzing Database Schema Objects with Datalog. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Predicate Pairing with Abstraction for Relational Verification. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David Insa, Sergio Pérez 0001, Josep Silva, Salvador Tamarit Erlang Code Evolution Control. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Hanus Combining Static and Dynamic Contract Checking for Curry. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raúl Gutiérrez, José Meseguer 0001 Variant-Based Decidable Satisfiability in Initial Algebras with Predicates. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Olivier Bodini, Paul Tarau On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Umer Liqat, Zorana Bankovic, Pedro López-García 0001, Manuel V. Hermenegildo Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hassan Aït-Kaci, Gabriella Pasi Fuzzy Unification and Generalization of First-Order Terms over Similar Signatures. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel Generation of Initial Contexts for Effective Deadlock Detection. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Pedro López-García 0001 (eds.) Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stephen Skeirik, Andrei Stefanescu, José Meseguer 0001 A Constructor-Based Reachability Logic for Rewrite Theories. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 567 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
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