Showing 1,441 - 1,460 results of 1,460 for search 'Logical Methods in Computer Science ', query time: 0.55s Refine Results
  1. 1441
    Soundness in negotiations

    Soundness in negotiations by Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz

    Published 2018-01-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  2. 1442
    Tarski's influence on computer science

    Tarski's influence on computer science by Solomon Feferman

    Published 2006-09-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  3. 1443
    Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

    Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference by Wonchan Lee, Yungbum Jung, Bow-yaw Wang, Kwangkuen Yi

    Published 2012-09-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  4. 1444
    Tractable Combinations of Temporal CSPs

    Tractable Combinations of Temporal CSPs by Manuel Bodirsky, Johannes Greiner, Jakub Rydval

    Published 2022-05-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  5. 1445
    Products of effective topological spaces and a uniformly computable Tychonoff Theorem

    Products of effective topological spaces and a uniformly computable Tychonoff Theorem by Robert Rettinger, Klaus Weihrauch

    Published 2013-11-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  6. 1446
    The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter

    The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter by Koko Muroya, Dan R. Ghica

    Published 2019-10-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  7. 1447
    Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination

    Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination by Assia Mahboubi, Cyril Cohen

    Published 2012-02-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  8. 1448
    On the Strong Equivalences for LPMLN Programs

    On the Strong Equivalences for LPMLN Programs by Bin Wang, Jun Shen, Shutao Zhang, Zhizheng Zhang

    Published 2021-01-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  9. 1449
    Tree-width for first order formulae

    Tree-width for first order formulae by Isolde Adler, Mark Weyer

    Published 2012-03-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  10. 1450
    Zeta Functions and the (Linear) Logic of Markov Processes

    Zeta Functions and the (Linear) Logic of Markov Processes by Thomas Seiller

    Published 2024-08-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  11. 1451
    Decreasing Diagrams for Confluence and Commutation

    Decreasing Diagrams for Confluence and Commutation by Jörg Endrullis, Jan Willem Klop, Roy Overbeek

    Published 2020-02-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  12. 1452
    Local Termination: theory and practice

    Local Termination: theory and practice by Joerg Endrullis, Roel de Vrijer, Johannes Waldmann

    Published 2010-09-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  13. 1453
    Towards a Proof Theory of G\"odel Modal Logics

    Towards a Proof Theory of G\"odel Modal Logics by George Metcalfe, Nicola Olivetti

    Published 2011-05-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  14. 1454
    A coalgebraic treatment of conditional transition systems with upgrades

    A coalgebraic treatment of conditional transition systems with upgrades by Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann

    Published 2018-02-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  15. 1455
    Representing Continuous Functions between Greatest Fixed Points of Indexed Containers

    Representing Continuous Functions between Greatest Fixed Points of Indexed Containers by Pierre Hyvernat

    Published 2021-07-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  16. 1456
    Refinement and Difference for Probabilistic Automata

    Refinement and Difference for Probabilistic Automata by Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay

    Published 2014-08-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  17. 1457
    Proper Functors and Fixed Points for Finite Behaviour

    Proper Functors and Fixed Points for Finite Behaviour by Stefan Milius

    Published 2018-09-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  18. 1458
    Answer Counting under Guarded TGDs

    Answer Counting under Guarded TGDs by Cristina Feier, Carsten Lutz, Marcin Przybyłko

    Published 2023-09-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  19. 1459
    The Theory of Traces for Systems with Nondeterminism, Probability, and Termination

    The Theory of Traces for Systems with Nondeterminism, Probability, and Termination by Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

    Published 2022-06-01
    “…Logical Methods in Computer Science e.V.…”
    Get full text
    Article
  20. 1460
    Globular: an online proof assistant for higher-dimensional rewriting

    Globular: an online proof assistant for higher-dimensional rewriting by Bar, K, Kissinger, A, Vicary, J

    Published 2018
    “…Logical Methods in Computer Science e.V.…”
    Journal article

Search Tools: