Showing 1,421 - 1,440 results of 1,460 for search 'Logical Methods in Computer Science ', सवाल का समय: 0.84सेकंड परिणाम को परिष्कृत करें
  1. 1421
    The Shapley Value of Inconsistency Measures for Functional Dependencies

    The Shapley Value of Inconsistency Measures for Functional Dependencies द्वारा Ester Livshits, Benny Kimelfeld

    प्रकाशित 2022-06-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  2. 1422
    Honesty by Typing

    Honesty by Typing द्वारा Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino

    प्रकाशित 2017-04-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  3. 1423
    A Coordination Language for Databases

    A Coordination Language for Databases द्वारा Ximeng Li, Xi Wu, Alberto Lluch Lafuente, Flemming Nielson, Hanne Riis Nielson

    प्रकाशित 2017-03-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  4. 1424
    Optimal controller synthesis for timed systems

    Optimal controller synthesis for timed systems द्वारा Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier

    प्रकाशित 2023-03-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  5. 1425
    Locating Ax, where A is a subspace of B(H)

    Locating Ax, where A is a subspace of B(H) द्वारा Douglas Suth Bridges

    प्रकाशित 2014-06-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  6. 1426
    Stochastic Timed Automata

    Stochastic Timed Automata द्वारा Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Groesser, Marcin Jurdzinski

    प्रकाशित 2014-12-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  7. 1427
    General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond

    General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond द्वारा Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche

    प्रकाशित 2022-10-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  8. 1428
    Continuity of Functional Transducers: A Profinite Study of Rational Functions

    Continuity of Functional Transducers: A Profinite Study of Rational Functions द्वारा Michaël Cadilhac, Olivier Carton, Charles Paperman

    प्रकाशित 2020-02-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  9. 1429
    Relational Graph Models at Work

    Relational Graph Models at Work द्वारा Flavien Breuvart, Giulio Manzonetto, Domenico Ruoppolo

    प्रकाशित 2018-07-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  10. 1430
    Domains via approximation operators

    Domains via approximation operators द्वारा Zhiwei Zou, Qingguo Li, Weng Kin Ho

    प्रकाशित 2018-04-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  11. 1431
    On the logical complexity of cyclic arithmetic

    On the logical complexity of cyclic arithmetic द्वारा Anupam Das

    प्रकाशित 2020-01-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  12. 1432
    On the algebraic structure of Weihrauch degrees

    On the algebraic structure of Weihrauch degrees द्वारा Vasco Brattka, Arno Pauly

    प्रकाशित 2018-10-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  13. 1433
    Semi-continuous Sized Types and Termination

    Semi-continuous Sized Types and Termination द्वारा Andreas Abel

    प्रकाशित 2008-04-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  14. 1434
    Matching Logic

    Matching Logic द्वारा Grigore Rosu

    प्रकाशित 2017-12-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  15. 1435
    Exact Unification and Admissibility

    Exact Unification and Admissibility द्वारा George Metcalfe, Leonardo Cabrer

    प्रकाशित 2015-09-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  16. 1436
    Decidability for Entailments of Symbolic Heaps with Arrays

    Decidability for Entailments of Symbolic Heaps with Arrays द्वारा Daisuke Kimura, Makoto Tatsuta

    प्रकाशित 2021-05-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  17. 1437
    Failure Trace Semantics for a Process Algebra with Time-outs

    Failure Trace Semantics for a Process Algebra with Time-outs द्वारा Rob van Glabbeek

    प्रकाशित 2021-04-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  18. 1438
    Minimization and Canonization of GFG Transition-Based Automata

    Minimization and Canonization of GFG Transition-Based Automata द्वारा Bader Abu Radi, Orna Kupferman

    प्रकाशित 2022-08-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  19. 1439
    Limits of real numbers in the binary signed digit representation

    Limits of real numbers in the binary signed digit representation द्वारा Franziskus Wiesnet, Nils Köpp

    प्रकाशित 2022-08-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख
  20. 1440
    Trees from Functions as Processes

    Trees from Functions as Processes द्वारा Davide Sangiorgi, Xian Xu

    प्रकाशित 2018-08-01
    “…Logical Methods in Computer Science e.V.…”
    पूर्ण पाठ प्राप्त करें
    लेख

खोज साधन: