Publications
Search

Publications :: Search

Show venue

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

    Conference
    Name: Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday 2015
    URL: https://doi.org/10.1007/978-3-319-23165-5
    DBLP: db/conf/birthday/meseguer2015.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 29  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    David A. Basin, Michel Keller, Sasa Radomirovic, Ralf Sasse.
    Alice and Bob Meet Equational Theories.
    Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Stefanie Neubert, Lenz Belzner, Martin Wirsing.
    Algebraic Reinforcement Learning - Hypothesis Induction for Relational Reinforcement Learning Using Term Generalization.
    Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott.
    José Meseguer: Scientist and Friend Extraordinaire.
    Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Kokichi Futatsugi.
    Generic Proof Scores for Generate Check Method in CafeOBJ.
    Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Camilo Rocha.
    The Formal System of Dijkstra and Scholten.
    Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Kyungmin Bae, Peter Csaba Ölveczky.
    Hybrid Multirate PALS.
    Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña.
    Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis.
    Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Catherine A. Meadows.
    Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later.
    Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott.
    Two Decades of Maude.
    Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak.
    Verifying Reachability-Logic Properties on Rewriting-Logic Specifications.
    Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 (0) 2015
    Show item 1 to 10 of 29  

    Your query returned 29 matches in the database.