Showing 1 - 20 results of 24,804 for search 'Variable (computer science)', query time: 0.93s Refine Results
  1. 1
    Variable binding and substitution for (nameless) dummies

    Variable binding and substitution for (nameless) dummies by André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi

    Published 2024-03-01
    Get full text
    Article
  2. 2
    Inter-procedural Two-Variable Herbrand Equalities

    Inter-procedural Two-Variable Herbrand Equalities by Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl

    Published 2017-05-01
    Get full text
    Article
  3. 3
    Two-variable Logic with Counting and a Linear Order

    Two-variable Logic with Counting and a Linear Order by Witold Charatonik, Piotr Witkowski

    Published 2016-06-01
    Get full text
    Article
  4. 4
    Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership

    Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership by Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing

    Published 2020-09-01
    Get full text
    Article
  5. 5
    Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting

    Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting by Georgios Kourtis, Ian Pratt-Hartmann

    Published 2017-10-01
    Get full text
    Article
  6. 6
    Two-Variable Logic with Two Order Relations

    Two-Variable Logic with Two Order Relations by Thomas Schwentick, Thomas Zeume

    Published 2012-03-01
    Get full text
    Article
  7. 7
    Register Automata with Extrema Constraints, and an Application to Two-Variable Logic

    Register Automata with Extrema Constraints, and an Application to Two-Variable Logic by Szymon Toruńczyk, Thomas Zeume

    Published 2022-03-01
    Get full text
    Article
  8. 8
    The parameterized space complexity of model-checking bounded variable first-order logic

    The parameterized space complexity of model-checking bounded variable first-order logic by Yijia Chen, Michael Elberfeld, Moritz Müller

    Published 2019-09-01
    Get full text
    Article
  9. 9
    Classical propositional logic and decidability of variables in intuitionistic propositional logic

    Classical propositional logic and decidability of variables in intuitionistic propositional logic by Hajime Ishihara

    Published 2014-08-01
    Get full text
    Article
  10. 10
    Planar 3-SAT with a Clause/Variable Cycle

    Planar 3-SAT with a Clause/Variable Cycle by Alexander Pilz

    Published 2019-06-01
    Get full text
    Article
  11. 11
    Higher-dimensional automata modeling shared-variable systems

    Higher-dimensional automata modeling shared-variable systems by Thomas Kahl

    Published 2019-09-01
    Get full text
    Article
  12. 12
    On the generation of variable structure distributed architectures

    On the generation of variable structure distributed architectures by Demaël, Jacques J

    Published 2005
    Get full text
    Thesis
  13. 13
    Multiaccess protocols for variable length packets

    Multiaccess protocols for variable length packets by Jachner, Jacek

    Published 2005
    Get full text
    Thesis
  14. 14
    An acoustic sensor for measuring traffic variables

    An acoustic sensor for measuring traffic variables by Tung, Ramona H. (Ramona Hui)

    Published 2008
    Get full text
    Thesis
  15. 15
    On auxiliary variables and many-core architectures in computational statistics

    On auxiliary variables and many-core architectures in computational statistics by Lee, A

    Published 2011
    Thesis
  16. 16
    On the complexity of XPath containment in the presence of disjunction, DTDs, and variables

    On the complexity of XPath containment in the presence of disjunction, DTDs, and variables by Frank Neven, Thomas Schwentick

    Published 2006-07-01
    Get full text
    Article
  17. 17
    Efficient and robust routing of highly variable traffic

    Efficient and robust routing of highly variable traffic by Sengupta, Sudipta, 1974-

    Published 2008
    Get full text
    Get full text
    Thesis
  18. 18
    Variable supply voltage for low power DSP

    Variable supply voltage for low power DSP by Gutnik, Vadim

    Published 2008
    Get full text
    Get full text
    Thesis
  19. 19
    High performance, variable-length instruction encodings

    High performance, variable-length instruction encodings by Pan, Heidi, 1980-

    Published 2014
    Get full text
    Thesis
  20. 20
    Incorporating inter-sample variability into cardiac electrophysiology simulations

    Incorporating inter-sample variability into cardiac electrophysiology simulations by Walmsley, J

    Published 2014
    Thesis

Search Tools: