Treffer 121 - 140 von 1.460 für Suche 'Logical Methods in Computer Science', Suchdauer: 0,40s Treffer weiter einschränken
  1. 121
    Language Preservation Problems in Parametric Timed Automata

    Language Preservation Problems in Parametric Timed Automata von Étienne André, Didier Lime, Nicolas Markey

    Veröffentlicht 2020-01-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel
  2. 122
    On Tools for Completeness of Kleene Algebra with Hypotheses

    On Tools for Completeness of Kleene Algebra with Hypotheses von Damien Pous, Jurriaan Rot, Jana Wagemaker

    Veröffentlicht 2024-05-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel
  3. 123
    A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings

    A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings von Gustav Grabolle

    Veröffentlicht 2023-12-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel
  4. 124
    Continuous Markovian Logics - Axiomatization and Quantified Metatheory

    Continuous Markovian Logics - Axiomatization and Quantified Metatheory von Radu Mardare, Luca Cardelli, Kim G. Larsen

    Veröffentlicht 2012-11-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel
  5. 125
    A Formal Proof of the Irrationality of $\zeta(3)$

    A Formal Proof of the Irrationality of $\zeta(3)$ von Assia Mahboubi, Thomas Sibut-Pinote

    Veröffentlicht 2021-02-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel
  6. 126
    Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus

    Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus von Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca

    Veröffentlicht 2017-12-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel
  7. 127
    Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

    Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion von Thomas Ehrhard, Antonio Bucciarelli, Alberto Carraro, Giulio Manzonetto

    Veröffentlicht 2012-10-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel
  8. 128
    Linear Programs with Conjunctive Database Queries

    Linear Programs with Conjunctive Database Queries von Florent Capelli, Nicolas Crosetti, Joachim Niehren, Jan Ramon

    Veröffentlicht 2024-01-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel
  9. 129
    On the Metric Temporal Logic for Continuous Stochastic Processes

    On the Metric Temporal Logic for Continuous Stochastic Processes von Mitsumasa Ikeda, Yoriyuki Yamagata, Takayuki Kihara

    Veröffentlicht 2024-06-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel
  10. 130
    Expressive Logics for Coinductive Predicates

    Expressive Logics for Coinductive Predicates von Clemens Kupke, Jurriaan Rot

    Veröffentlicht 2021-12-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel
  11. 131
    The Complexity of Combinations of Qualitative Constraint Satisfaction Problems

    The Complexity of Combinations of Qualitative Constraint Satisfaction Problems von Manuel Bodirsky, Johannes Greiner

    Veröffentlicht 2020-02-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel
  12. 132
    Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)

    Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof) von Petr Jancar

    Veröffentlicht 2013-03-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel
  13. 133
    Logical and Algebraic Characterizations of Rational Transductions

    Logical and Algebraic Characterizations of Rational Transductions von Emmanuel Filiot, Olivier Gauwin, Nathan Lhote

    Veröffentlicht 2019-12-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel
  14. 134
    On Resolving Non-determinism in Choreographies

    On Resolving Non-determinism in Choreographies von Laura Bocchi, Hernan Melgratti, Emilio Tuosto

    Veröffentlicht 2020-09-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel
  15. 135
    Distributed Asynchronous Games With Causal Memory are Undecidable

    Distributed Asynchronous Games With Causal Memory are Undecidable von Hugo Gimbert

    Veröffentlicht 2022-09-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel
  16. 136
    Ranking Templates for Linear Loops

    Ranking Templates for Linear Loops von Jan Leike, Matthias Heizmann

    Veröffentlicht 2015-03-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel
  17. 137
    A Static Analysis Framework for Livelock Freedom in CSP

    A Static Analysis Framework for Livelock Freedom in CSP von Joel Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell

    Veröffentlicht 2013-09-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel
  18. 138
    Security Policies as Membranes in Systems for Global Computing

    Security Policies as Membranes in Systems for Global Computing von Daniele Gorla, Matthew Hennessy, Vladimiro Sassone

    Veröffentlicht 2005-12-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel
  19. 139
    A Universal Ordinary Differential Equation

    A Universal Ordinary Differential Equation von Olivier Bournez, Amaury Pouly

    Veröffentlicht 2020-02-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel
  20. 140
    Monoidal Width

    Monoidal Width von Elena Di Lavore, Paweł Sobociński

    Veröffentlicht 2023-09-01
    “… Logical Methods in Computer Science e.V. …”
    Volltext
    Artikel

Suchwerkzeuge: