„Logical Relations“

Suchergebnisse

1.000+ Treffer

• 9-Object-Model FMEA – A Conceptual Model for Creating Technical Risk Analyses
  Belcaro, Pier Luigi 2026 Springer Vieweg
• Space-Time Relationship and Golden Number φ – Harmony of the Universe measured with the Planck length
  Ognean, Teodor 2020 LAP LAMBERT Academic Publishing
• A neural network structure specified for representing and storing logical relations
  Wang, Gang
• Computational models of relations in text and knowledge graphs for logical reasoning and graph-text conversion
  Schmitt, Martin ; Schütze, Hinrich 2022 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Towards symbolic XAI — explanation through human understandable logical relationships between features
  Schnake, Thomas ; Rezaei Jafari, Farnoush ; Lederer, Jonas ; Xiong, Ping ; Nakajima, Shinichi ; Gugler, Stefan ; Montavon, Grégoire ; Müller, Klaus-Robert 2025 Technische Universität Berlin
• On the Metric Nature of (Differential) Logical Relations
  Dal Lago, Ugo ; Hoshino, Naohiko ; Pistone, Paolo 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Substructural Parametricity
  Aberlé, C. B. ; Crary, Karl ; Martens, Chris ; Pfenning, Frank 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Analytica Generalissima Humanorum Cognitionum. Some Reflections on the Relationship between Logical and Mathematical Analysis in Leibniz
  Rabouin, David
• Algorithmically Efficient Syntactic Characterization of Possibility Domains
  Díaz, Josep ; Kirousis, Lefteris ; Kokonezi, Sofia ; Livieratos, John 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Theology of Universalism – Being an Exposition of Its Doctrines and Teachings, in Their Logical and Moral Relations
  Thayer, Thomas Baldwin 2022 Salzwasser Verlag
• Information Flow Control in Cyclic Process Networks
  van den Heuvel, Bas ; Derakhshan, Farzaneh ; Balzer, Stephanie 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Note on Logical PERs and Reducibility. Logical Relations Strike Again!
  Gallier, Jean H. 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Step-Indexing: The Good, the Bad and the Ugly
  Benton, Nick ; Hur, Chung-Kil
• Step-Indexed Biorthogonality: a Tutorial Example
  Pitts, Andrew M.
• Program Equivalence with Names
  Tzevelekos, Nikos
• Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations
  Moreau, Vincent ; Nguyễn, Lê Thành Dũng (Tito) 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Strong Normalization for Dependent Object Types (DOT) (Artifact)
  Wang, Fei ; Rompf, Tiark
• A Fibrational Tale of Operational Logical Relations
  Dagnino, Francesco ; Gavazzo, Francesco 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Abstract Clones for Abstract Syntax
  Arkor, Nathanael ; McDermott, Dylan 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Differential Logical Relations, Part I: The Simply-Typed Case (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Dal Lago, Ugo ; Gavazzo, Francesco ; Yoshimizu, Akira 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik