Showing 1,441 - 1,460 results of 1,460 for search 'Logical Methods in Computer Science', Forespørselstid: 0.25s Refine Results
  1. 1441
    Soundness in negotiations

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

    Udgivet 2018-01-01
    “...Logical Methods in Computer Science e.V....”
    Få fuldtekst
    Article
  2. 1442
    Tarski's influence on computer science

    Tarski's influence on computer science af Solomon Feferman

    Udgivet 2006-09-01
    “...Logical Methods in Computer Science e.V....”
    Få fuldtekst
    Article
  3. 1443
    Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

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

    Udgivet 2012-09-01
    “...Logical Methods in Computer Science e.V....”
    Få fuldtekst
    Article
  4. 1444
    Tractable Combinations of Temporal CSPs

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

    Udgivet 2022-05-01
    “...Logical Methods in Computer Science e.V....”
    Få fuldtekst
    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 af Robert Rettinger, Klaus Weihrauch

    Udgivet 2013-11-01
    “...Logical Methods in Computer Science e.V....”
    Få fuldtekst
    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 af Koko Muroya, Dan R. Ghica

    Udgivet 2019-10-01
    “...Logical Methods in Computer Science e.V....”
    Få fuldtekst
    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 af Assia Mahboubi, Cyril Cohen

    Udgivet 2012-02-01
    “...Logical Methods in Computer Science e.V....”
    Få fuldtekst
    Article
  8. 1448
    On the Strong Equivalences for LPMLN Programs

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

    Udgivet 2021-01-01
    “...Logical Methods in Computer Science e.V....”
    Få fuldtekst
    Article
  9. 1449
    Tree-width for first order formulae

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

    Udgivet 2012-03-01
    “...Logical Methods in Computer Science e.V....”
    Få fuldtekst
    Article
  10. 1450
    Zeta Functions and the (Linear) Logic of Markov Processes

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

    Udgivet 2024-08-01
    “...Logical Methods in Computer Science e.V....”
    Få fuldtekst
    Article
  11. 1451
    Decreasing Diagrams for Confluence and Commutation

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

    Udgivet 2020-02-01
    “...Logical Methods in Computer Science e.V....”
    Få fuldtekst
    Article
  12. 1452
    Local Termination: theory and practice

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

    Udgivet 2010-09-01
    “...Logical Methods in Computer Science e.V....”
    Få fuldtekst
    Article
  13. 1453
    Towards a Proof Theory of G\"odel Modal Logics

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

    Udgivet 2011-05-01
    “...Logical Methods in Computer Science e.V....”
    Få fuldtekst
    Article
  14. 1454
    A coalgebraic treatment of conditional transition systems with upgrades

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

    Udgivet 2018-02-01
    “...Logical Methods in Computer Science e.V....”
    Få fuldtekst
    Article
  15. 1455
    Representing Continuous Functions between Greatest Fixed Points of Indexed Containers

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

    Udgivet 2021-07-01
    “...Logical Methods in Computer Science e.V....”
    Få fuldtekst
    Article
  16. 1456
    Refinement and Difference for Probabilistic Automata

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

    Udgivet 2014-08-01
    “...Logical Methods in Computer Science e.V....”
    Få fuldtekst
    Article
  17. 1457
    Proper Functors and Fixed Points for Finite Behaviour

    Proper Functors and Fixed Points for Finite Behaviour af Stefan Milius

    Udgivet 2018-09-01
    “...Logical Methods in Computer Science e.V....”
    Få fuldtekst
    Article
  18. 1458
    Answer Counting under Guarded TGDs

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

    Udgivet 2023-09-01
    “...Logical Methods in Computer Science e.V....”
    Få fuldtekst
    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 af Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

    Udgivet 2022-06-01
    “...Logical Methods in Computer Science e.V....”
    Få fuldtekst
    Article
  20. 1460
    Globular: an online proof assistant for higher-dimensional rewriting

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

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

Søgeredskaber: