From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “logical consequence” 8

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Preservation Theorems in Semiring Semantics
2026 arXiv (Cornell University) preprint Computer Science Advanced Algebra and Logic Open access

Sophie Brinke, Anuj Dawar, Erich Grädel, Benedikt Pago

0

citations
Preservation Theorems in Semiring Semantics
2026 arXiv (Cornell University) preprint Computer Science Advanced Algebra and Logic Open access

Sophie Brinke, Anuj Dawar, Erich Grädel, Benedikt Pago

0

citations
Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence
2021 arXiv (Cornell University) preprint Physics and Astronomy Quantum Mechanics and Applications Open access

Rafael Albert, Erich Grädel

0

citations
Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes
2024 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Tom Peham, L. Schmid, Lucas Berent, Markus Müller, Robert Wille

0

citations
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Till Hofmann, Stefan Schupp, Gerhard Lakemeyer

0

citations
Relatively Complete Verification of Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

0

citations
Memory Layouts for GPU-Data Transfer Buffering in SPH
2026 arXiv (Cornell University) preprint Computer Science Parallel Computing and Optimization Techniques Open access

Mladen Ivković, Abouzied Nasar, Tobias Weinzierl, Matthieu Schaller, Benedict D. Rogers, Georgios Fourtakas, +1 more

0

citations
Road Network Variation Based on HD Map Analysis for the Simulative Safety Assurance of Automated Vehicles
2022 arXiv (Cornell University) preprint Engineering Autonomous Vehicle Technology and Safety Open access

Christian Geller, Lutz Eckstein

0

citations

8 results