„second order logic“

Suchergebnisse

1.000+ Treffer

• A second-order sliding mode and fuzzy logic control to optimal energy management in wind turbine with battery storage
  Meghni, Billel ; Dib, Djalel ; Azar, Ahmad Taher
• Engineering a Second‐Order DNA Logic‐Gated Nanorobot to Sense and Release on Live Cell Membranes for Multiplexed Diagnosis and Synergistic Therapy
  Wang, Dan ; Li, Shenhuan ; Zhao, Zilong ; Zhang, Xiaobing ; Tan, Weihong
• Engineering a Second‐Order DNA Logic‐Gated Nanorobot to Sense and Release on Live Cell Membranes for Multiplexed Diagnosis and Synergistic Therapy
  Wang, Dan ; Li, Shenhuan ; Zhao, Zilong ; Zhang, Xiaobing ; Tan, Weihong
• Dependence logic with a majority quantifier
  Durand, Arnaud ; Ebbing, Johannes ; Kontinen, Juha ; Vollmer, Heribert 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A second-order relevance logic with modality
  Freeman, James B. ; Daniels, Charles B.
• Compound Logics for Modification Problems
  Fomin, Fedor V. ; Golovach, Petr A. ; Sau, Ignasi ; Stamoulis, Giannos ; Thilikos, Dimitrios M. 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Graph Polynomials: Towards a Comparative Theory (Dagstuhl Seminar 16241)
  Ellis-Monaghan, Joanna A. ; Goodall, Andrew ; Makowsky, Johann A. ; Moffatt, Iain
• Logic and Structure
  Dalen, Dirk ˜vanœ 2013 Springer London
• Datalog-Expressibility for Monadic and Guarded Second-Order Logic
  Bodirsky, Manuel ; Knäuer, Simon ; Rudolph, Sebastian 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Strategy for Dynamic Programs: Start over and Muddle Through
  Datta, Samir ; Mukherjee, Anish ; Schwentick, Thomas ; Vortmeier, Nils ; Zeume, Thomas 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A partial rehabilitation of side-effecting I/O – non-determinism in non-strict functional languages
  Schmidt-Schauß, Manfred 1996 Univ.-Bibliothek Frankfurt am Main
• Decidability of bounded second order unification
  Schmidt-Schauß, Manfred 1997 Univ.-Bibliothek Frankfurt am Main
• Automata Theory and Logic
  Lange, Martin 2025 Springer Vieweg
• Functional translation and second-order frame properties of modal logics
  Ohlbach, Hans Jürgen ; Schmidt, Renate A. 1995 Max-Planck-Inst. für Informatik
• Multi-weighted Automata Models and Quantitative Logics
  Perevoshchikov, Vitaly ; Droste, Manfred ; Gastin, Paul 2015 Universitätsbibliothek Leipzig
• Fragments of existential second-order logic and logics with team semantics
  Hoelzel, Matthias ; Grädel, Erich ; Hella, Lauri 2019 Universitätsbibliothek der RWTH Aachen
• Automata Theory and Logic
  Hofmann, Martin ; Lange, Martin 2025 Springer Berlin Heidelberg, Imprint: Springer Vieweg
• Painleve Analysis of One Non-Classical Nonlinear Second Order Equation
  Aristov, A. I.
• Degrees of Second and Higher-Order Polynomials
  Lim, Donghyun ; Ziegler, Martin 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Cat Herding Game Played on Infinite Trees
  Ashmore, Rylo ; Pinchinat, Sophie 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik