Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Journal
    Name: Electr. Notes Theor. Comput. Sci.
    Year: 2005
    Volume: 125
    Number: 1
    DBLP: db/journals/entcs/entcs125.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 30  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Didier Galmiche, Daniel Méry.
    Resource Graphs and Countermodels in Resource Logics.
    Electr. Notes Theor. Comput. Sci. 2005, Volume 125 (0) 2005
    Conference paper
    Wolfgang Ahrendt, Peter Baumgartner 0001, Hans de Nivelle, Silvio Ranise, Cesare Tinelli.
    Preface.
    Electr. Notes Theor. Comput. Sci. 2005, Volume 125 (0) 2005
    Conference paper
    Jian Zhang, Zhuo Huang.
    Reducing Symmetries to Generate Easier SAT Instances.
    Electr. Notes Theor. Comput. Sci. 2005, Volume 125 (0) 2005
    Conference paper
    Clark W. Barrett, Jacob Donham.
    Combining SAT Methods with Non-Clausal Decision Heuristics.
    Electr. Notes Theor. Comput. Sci. 2005, Volume 125 (0) 2005
    Conference paper
    Pascal Fontaine, E. Pascal Gribomont.
    Combining Non-stably Infinite, Non-first Order Theories.
    Electr. Notes Theor. Comput. Sci. 2005, Volume 125 (0) 2005
    Conference paper
    Dominique Larchey-Wendling.
    Gödel-Dummett Counter-models through Matrix Computation.
    Electr. Notes Theor. Comput. Sci. 2005, Volume 125 (0) 2005
    Conference paper
    Tjark Weber.
    Bounded Model Generation for Isabelle/HOL.
    Electr. Notes Theor. Comput. Sci. 2005, Volume 125 (0) 2005
    Conference paper
    Robert Klapper, Aaron Stump.
    Validated Proof-Producing Decision Procedures.
    Electr. Notes Theor. Comput. Sci. 2005, Volume 125 (0) 2005
    Conference paper
    Leonardo Mendonça de Moura, Harald Ruess, Natarajan Shankar.
    Justifying Equality.
    Electr. Notes Theor. Comput. Sci. 2005, Volume 125 (0) 2005
    Conference paper
    Simon Colton, Alison Pease.
    The TM System for Repairing Non-Theorems.
    Electr. Notes Theor. Comput. Sci. 2005, Volume 125 (0) 2005
    Show item 1 to 10 of 30  

    Your query returned 30 matches in the database.