Prikaz rezultata 61 – 80 od 1.460 za pretragu 'Logical Methods in Computer Science', vrijeme upita: 0,56s Detaljiziraj rezultate
  1. 61
    Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining

    Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining od Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch

    Izdano 2014-02-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak
  2. 62
    A modular construction of type theories

    A modular construction of type theories od Frédéric Blanqui, Gilles Dowek, Emilie Grienenberger, Gabriel Hondet, François Thiré

    Izdano 2023-02-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak
  3. 63
    On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC

    On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC od Federico Aschieri

    Izdano 2017-04-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak
  4. 64
    Positive Inductive-Recursive Definitions

    Positive Inductive-Recursive Definitions od Neil Ghani, Fredrik Nordvall Forsberg, Lorenzo Malatesta

    Izdano 2015-03-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak
  5. 65
    Rule Formats for Nominal Process Calculi

    Rule Formats for Nominal Process Calculi od Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén

    Izdano 2019-10-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak
  6. 66
    The Complexity of Infinite Computations In Models of Set Theory

    The Complexity of Infinite Computations In Models of Set Theory od Olivier Finkel

    Izdano 2009-12-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak
  7. 67
    Algebraic coherent confluence and higher globular Kleene algebras

    Algebraic coherent confluence and higher globular Kleene algebras od Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth

    Izdano 2022-11-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak
  8. 68
    Unifying B\"uchi Complementation Constructions

    Unifying B\"uchi Complementation Constructions od Seth J. Fogarty, Orna Kupferman, Thomas Wilke, Moshe Y. Vardi

    Izdano 2013-03-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak
  9. 69
    Preservation theorems for Tarski's relation algebra

    Preservation theorems for Tarski's relation algebra od Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche

    Izdano 2024-09-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak
  10. 70
    Definable decompositions for graphs of bounded linear cliquewidth

    Definable decompositions for graphs of bounded linear cliquewidth od Mikołaj Bojańczyk, Martin Grohe, Michał Pilipczuk

    Izdano 2021-01-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak
  11. 71
    On the Satisfiability of Local First-Order Logics with Data

    On the Satisfiability of Local First-Order Logics with Data od Benedikt Bollig, Arnaud Sangnier, Olivier Stietel

    Izdano 2024-07-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak
  12. 72
    TRX: A Formally Verified Parser Interpreter

    TRX: A Formally Verified Parser Interpreter od Adam Koprowski, Henri Binsztok

    Izdano 2011-06-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak
  13. 73
    Visibly Tree Automata with Memory and Constraints

    Visibly Tree Automata with Memory and Constraints od Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin

    Izdano 2008-06-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak
  14. 74
    Sahlqvist via Translation

    Sahlqvist via Translation od Willem Conradie, Alessandra Palmigiano, Zhiguang Zhao

    Izdano 2019-02-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak
  15. 75
    On Separation by Locally Testable and Locally Threshold Testable Languages

    On Separation by Locally Testable and Locally Threshold Testable Languages od Thomas Place, Lorijn van Rooijen, Marc Zeitoun

    Izdano 2014-09-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak
  16. 76
    Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

    Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets od Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König

    Izdano 2008-10-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak
  17. 77
    Presenting Distributive Laws

    Presenting Distributive Laws od Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot

    Izdano 2015-08-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak
  18. 78
    Linear Dependent Type Theory for Quantum Programming Languages

    Linear Dependent Type Theory for Quantum Programming Languages od Peng Fu, Kohei Kishida, Peter Selinger

    Izdano 2022-09-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak
  19. 79
    Initial Algebra Semantics for Cyclic Sharing Tree Structures

    Initial Algebra Semantics for Cyclic Sharing Tree Structures od Makoto Hamana

    Izdano 2010-09-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak
  20. 80
    On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics

    On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics od Matthias Hoelzel, Richard Wilke

    Izdano 2021-07-01
    “…Logical Methods in Computer Science e.V.…”
    Preuzmi cijeli tekst
    Članak

Alati za pretragu: