Showing 4,141 - 4,160 results of 4,468 for search '"Theoretical computer science"', query time: 0.53s Refine Results
  1. 4141
    Universal Horn Sentences and the Joint Embedding Property

    Universal Horn Sentences and the Joint Embedding Property by Manuel Bodirsky, Jakub Rydval, André Schrottenloher

    Published 2022-05-01
    “…Discrete Mathematics & Theoretical Computer Science…”
    Get full text
    Article
  2. 4142
    Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model

    Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model by Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi

    Published 2015-04-01
    “…Electronic Proceedings in Theoretical Computer Science…”
    Get full text
    Article
  3. 4143
    A Structural and Nominal Syntax for Diagrams

    A Structural and Nominal Syntax for Diagrams by Dan R Ghica, Aliaume Lopez

    Published 2018-02-01
    “…Electronic Proceedings in Theoretical Computer Science…”
    Get full text
    Article
  4. 4144
    Equivalence classes of mesh patterns with a dominating pattern

    Equivalence classes of mesh patterns with a dominating pattern by Murray Tannock, Henning Ulfarsson

    Published 2018-02-01
    “…Discrete Mathematics & Theoretical Computer Science…”
    Get full text
    Article
  5. 4145
    Meander Graphs

    Meander Graphs by Christine E. Heitsch, Prasad Tetali

    Published 2011-01-01
    “…Discrete Mathematics & Theoretical Computer Science…”
    Get full text
    Article
  6. 4146
    Extremal K (s,t)-free bipartite graphs

    Extremal K (s,t)-free bipartite graphs by C. Balbuena, P. Garcia-Vazquez, X. Marcote, J.C. Valenzuela

    Published 2008-08-01
    “…Discrete Mathematics & Theoretical Computer Science…”
    Get full text
    Article
  7. 4147
    Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool

    Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool by Jan Olaf Blech, Dongyue Mou, Daniel Ratiu

    Published 2012-02-01
    “…Electronic Proceedings in Theoretical Computer Science…”
    Get full text
    Article
  8. 4148
    Row-strict quasisymmetric Schur functions

    Row-strict quasisymmetric Schur functions by Sarah K Mason, Jeffrey Remmel

    Published 2011-01-01
    “…Discrete Mathematics & Theoretical Computer Science…”
    Get full text
    Article
  9. 4149
    Biased Boltzmann samplers and generation of extended linear languages with shuffle

    Biased Boltzmann samplers and generation of extended linear languages with shuffle by Alexis Darrasse, Konstantinos Panagiotou, Olivier Roussel, Michele Soria

    Published 2012-01-01
    “…Discrete Mathematics & Theoretical Computer Science…”
    Get full text
    Article
  10. 4150
    Indicative Conditionals and Dynamic Epistemic Logic

    Indicative Conditionals and Dynamic Epistemic Logic by Wesley H. Holliday, Thomas F. Icard III

    Published 2017-07-01
    “…Electronic Proceedings in Theoretical Computer Science…”
    Get full text
    Article
  11. 4151
    Extending ACL2 with SMT Solvers

    Extending ACL2 with SMT Solvers by Yan Peng, Mark Greenstreet

    Published 2015-09-01
    “…Electronic Proceedings in Theoretical Computer Science…”
    Get full text
    Article
  12. 4152
    Evolution and development of complex computational systems using the paradigm of metabolic computing in Epigenetic Tracking

    Evolution and development of complex computational systems using the paradigm of metabolic computing in Epigenetic Tracking by Alessandro Fontana, Borys Wróbel

    Published 2013-09-01
    “…Electronic Proceedings in Theoretical Computer Science…”
    Get full text
    Article
  13. 4153
    The topological entropy of iterated piecewise affine maps is uncomputable

    The topological entropy of iterated piecewise affine maps is uncomputable by Pascal Koiran

    Published 2001-01-01
    “…Discrete Mathematics & Theoretical Computer Science…”
    Get full text
    Article
  14. 4154
    Analysis of the total costs for variants of the Union-Find algorithm

    Analysis of the total costs for variants of the Union-Find algorithm by Markus Kuba, Alois Panholzer

    Published 2007-01-01
    “…Discrete Mathematics & Theoretical Computer Science…”
    Get full text
    Article
  15. 4155
    Inversion sequences avoiding 021 and another pattern of length four

    Inversion sequences avoiding 021 and another pattern of length four by Toufik Mansour, Gökhan Yıldırım

    Published 2023-11-01
    “…Discrete Mathematics & Theoretical Computer Science…”
    Get full text
    Article
  16. 4156
    A Particular Universal Cellular Automaton

    A Particular Universal Cellular Automaton by Gaétan Richard, Nicolas Ollinger

    Published 2009-06-01
    “…Electronic Proceedings in Theoretical Computer Science…”
    Get full text
    Article
  17. 4157
    New Results on Generalized Graph Coloring

    New Results on Generalized Graph Coloring by Vladimir E. Alekseev, Alastair Farrugia, Vadim V. Lozin

    Published 2004-01-01
    “…Discrete Mathematics & Theoretical Computer Science…”
    Get full text
    Article
  18. 4158
    One-Sided Device-Independent Certification of Unbounded Random Numbers

    One-Sided Device-Independent Certification of Unbounded Random Numbers by Brian Coyle, Matty J. Hoban, Elham Kashefi

    Published 2018-07-01
    “…Electronic Proceedings in Theoretical Computer Science…”
    Get full text
    Article
  19. 4159
    Interaction properties of relational periods

    Interaction properties of relational periods by Tomi Kärki, Tero Harju, Vesa Halava

    Published 2008-01-01
    “…Discrete Mathematics & Theoretical Computer Science…”
    Get full text
    Article
  20. 4160
    Connected τ -critical hypergraphs of minimal size

    Connected τ -critical hypergraphs of minimal size by Matěj Stehlík

    Published 2005-01-01
    “…Discrete Mathematics & Theoretical Computer Science…”
    Get full text
    Article

Search Tools: