Showing 1,381 - 1,400 results of 1,460 for search 'Logical Methods in Computer Science', query time: 0.49s Refine Results
  1. 1381
    Order-Invariant Types and Their Applications

    Order-Invariant Types and Their Applications by Pablo Barcelo, Leonid Libkin

    Published 2016-04-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  2. 1382
    Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics

    Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics by Robert Constable, Wojciech Moczydlowski

    Published 2008-09-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  3. 1383
    Tight Polynomial Worst-Case Bounds for Loop Programs

    Tight Polynomial Worst-Case Bounds for Loop Programs by Amir M. Ben-Amram, Geoff Hamilton

    Published 2020-05-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  4. 1384
    Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog

    Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog by Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler

    Published 2012-02-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  5. 1385
    Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs

    Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs by Stefano Berardi, Makoto Tatsuta

    Published 2019-08-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  6. 1386
    Categorical composable cryptography: extended version

    Categorical composable cryptography: extended version by Anne Broadbent, Martti Karvonen

    Published 2023-12-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  7. 1387
    Cartesian closed 2-categories and permutation equivalence in higher-order rewriting

    Cartesian closed 2-categories and permutation equivalence in higher-order rewriting by Tom Hirschowitz

    Published 2013-09-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  8. 1388
    A Faithful Semantics for Generalised Symbolic Trajectory Evaluation

    A Faithful Semantics for Generalised Symbolic Trajectory Evaluation by Koen Claessen, Jan-Willem Roorda

    Published 2009-04-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  9. 1389
    Formal Languages, Formally and Coinductively

    Formal Languages, Formally and Coinductively by Dmitriy Traytel

    Published 2017-09-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  10. 1390
    Monadic second-order definable graph orderings

    Monadic second-order definable graph orderings by Achim Blumensath, Bruno Courcelle

    Published 2014-01-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  11. 1391
    Derivation Lengths Classification of G\"odel's T Extending Howard's Assignment

    Derivation Lengths Classification of G\"odel's T Extending Howard's Assignment by Gunnar Wilken, Andreas Weiermann

    Published 2012-03-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  12. 1392
    New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic

    New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic by Bart Jacobs

    Published 2015-10-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  13. 1393
    From coinductive proofs to exact real arithmetic: theory and applications

    From coinductive proofs to exact real arithmetic: theory and applications by Ulrich Berger

    Published 2011-03-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  14. 1394
    The Big-O Problem

    The Big-O Problem by Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser

    Published 2022-03-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  15. 1395
    Power of Randomization in Automata on Infinite Strings

    Power of Randomization in Automata on Infinite Strings by Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

    Published 2011-09-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  16. 1396
    Constraint solving in non-permutative nominal abstract syntax

    Constraint solving in non-permutative nominal abstract syntax by Matthew R. Lakin

    Published 2011-08-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  17. 1397
    Datatype defining rewrite systems for naturals and integers

    Datatype defining rewrite systems for naturals and integers by Jan A. Bergstra, Alban Ponse

    Published 2021-02-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  18. 1398
    Mixed powerdomains for probability and nondeterminism

    Mixed powerdomains for probability and nondeterminism by Klaus Keimel, Gordon D. Plotkin

    Published 2017-01-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  19. 1399
    Nash Equilibrium and Bisimulation Invariance

    Nash Equilibrium and Bisimulation Invariance by Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael Wooldridge

    Published 2019-09-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  20. 1400
    Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries

    Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries by Ahmet Kara, Milos Nikolic, Dan Olteanu, Haozhe Zhang

    Published 2023-08-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article

Search Tools: