• Suche: "ACM: F.: Theory of Computation"

Treffer 181 - 200 von 1.805

181

Zeta Functions and the (Linear) Logic of Markov Processes
Seiller, Thomas ; Centre National de la Recherche Scientifique (CNRS) ; Laboratoire d'Informatique de Paris-Nord (LIPN) ; et al.

ACM: F.: Theory of Compu... F.3: LOGICS AND MEANINGS... F.3.2: Semantics of Prog... F.3.2.1: Denotational se... F.3.2.2: Operational sem... F.1: COMPUTATION BY ABST... …
E-Ressource
Zu den Favoriten
182

Multiplicative Linear Logic from Logic Programs and Tilings
Eng, Boris ; Seiller, Thomas ; Laboratoire d'Informatique de Paris-Nord (LIPN) ; et al.

Geometry of Interaction Semantics Linear Logic Models of Computation ACM: F.: Theory of Compu... F.1: COMPUTATION BY ABST... …
E-Ressource
Zu den Favoriten
183

Lower bounds for algebraic machines, semantically
Pellissier, Luc ; Seiller, Thomas ; Laboratoire d'Algorithmique Complexité et Logique (LACL) ; et al.

ACM: F.: Theory of Compu... F.1: COMPUTATION BY ABST... F.1.2: Modes of Computat... F.1.2.3: Parallelism and... F.1.3: Complexity Measur... F.1.3.3: Relations among... …
E-Ressource
Zu den Favoriten
184

An aperiodic set of 11 Wang tiles
Jeandel, Emmanuel ; Rao, Michael ; Designing the Future of Computational Models (MOCQUA) ; et al.
Advances in Combinatorics, 2021, ⟨10.19086/aic.18614⟩

ACM: G.: Mathematics of... G.2: DISCRETE MATHEMATIC... G.2.1: Combinatorics ACM: F.: Theory of Compu... F.1: COMPUTATION BY ABST... F.1.1: Models of Computa... …
Zeitschrift
Zu den Favoriten
185

Requirements to Models of Automotive Software: Application to the Automatic Park Assist function
Assioua, Yasmine ; Ameur-Boulifa, Rabéa ; Guitton-Ouhamou, Patricia ; et al.
5th International Workshop on Critical Automotive Applications: Robustness & Safety, Sep 2019, Naples, Italy

Naples, Italy Requirements analysis Reliable systems Model-based design ACM: F.: Theory of Compu... [INFO.INFO-DC]Computer S... …
Konferenz
Zu den Favoriten
186

Verification of Flat FIFO Systems
Finkel, Alain ; Praveen, M. ; Laboratoire Spécification et Vérification [Cachan] (LSV) ; et al.
CONCUR 2019, Aug 2019, AMSTERDAM, Netherlands

AMSTERDAM, Netherlands counters flat systems complexity Infinite state systems termination …
Konferenz
Zu den Favoriten
187

Multi-Round Cooperative Search Games with Multiple Players
Korman, Amos ; Rodeh, Yoav ; Networks, Graphs and Algorithms (GANG) ; et al.
ICALP 2019 - 46th International Colloquium on Automata, Languages and Programming, Jul 2019, Patras, Greece

Patras, Greece ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... [INFO.INFO-DC]Computer S... Distributed, Parallel, a... [INFO.INFO-GT]Computer S... …
Konferenz
Zu den Favoriten
188

Undecidable word problem in subshift automorphism groups
Guillon, Pierre ; Jeandel, Emmanuel ; Kari, Jarkko ; et al.

Novosibirsk, Russia ACM: F.: Theory of Compu... F.4: MATHEMATICAL LOGIC... F.4.1: Mathematical Logi... F.4.1.0: Computability t... F.4.3: Formal Languages …
Konferenz
Zu den Favoriten
189

Decidable XPath Fragments in the Real World
Baelde, David ; Lick, Anthony ; Schmitz, Sylvain ; et al.
38th ACM Symposium on Principles of Database Systems (PODS'19), Jun 2019, Amsterdam, Netherlands. ⟨10.1145/3294052.3319685⟩

Amsterdam, Netherlands Satisfiability XPath ACM: F.: Theory of Compu... F.3: LOGICS AND MEANINGS... F.3.1: Specifying and Ve... …
Konferenz
Zu den Favoriten
190

GF + MMT = GLF From Language to Semantics through LF
Kohlhase, Michael ; Schaefer, Jan, Frederik ; Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg (FAU)
LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019, Jun 2019, Vancouver, Canada

Vancouver, Canada ACM: F.: Theory of Compu... F.3: LOGICS AND MEANINGS... [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
191

A definitional implementation of the Lax Logical Framework LLFP in Coq, for supporting fast and loose reasoning
Alessi, Fabio ; Ciaffaglione, Alberto ; Di Gianantonio, Pietro ; et al.
LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019, Jun 2019, Vancouver, Canada

Vancouver, Canada ACM: F.: Theory of Compu... F.4: MATHEMATICAL LOGIC... F.4.1: Mathematical Logi... F.4.1.2: Lambda calculus... F.4.1.4: Mechanical theo... …
Konferenz
Zu den Favoriten
192

Towards Higher-Order Abstract Syntax in Cedille (Work in Progress)
Stump, Aaron ; University of Iowa [Iowa City]
LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019, Jun 2019, Vancouver, Canada

Vancouver, Canada ACM: F.: Theory of Compu... F.4: MATHEMATICAL LOGIC... F.4.1: Mathematical Logi... F.4.1.2: Lambda calculus... F.4.1.4: Mechanical theo... …
Konferenz
Zu den Favoriten
193

Rapid Prototyping Formal Systems in MMT: 5 Case Studies
Müller, Dennis ; Rabe, Florian ; Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg (FAU) ; et al.
LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019, Jun 2019, Vancouver, Canada

Vancouver, Canada ACM: F.: Theory of Compu... F.3: LOGICS AND MEANINGS... [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
194

Cumulative Types Systems and Levels
Thiré, François ; Laboratoire Spécification et Vérification [Cachan] (LSV) ; École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS) ; et al.

Vancouver, Canada ACM: F.: Theory of Compu... F.3: LOGICS AND MEANINGS... [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
195

Approximation of Greedy Algorithms for Max-ATSP, Maximal Compression, Maximal Cycle Cover, and Shortest Cyclic Cover of Strings
Cazaux, Bastien ; Rivals, Eric ; Méthodes et Algorithmes pour la Bioinformatique (MAB) ; et al.
PSC: Prague Stringology Conference. :148-161

Prague, Czech Republic MAX-SNP subset system conjecture overlap graph prefix graph …
Konferenz
Zu den Favoriten
196

From Ultrafilters on Words to the Expressive Power of a Fragment of Logic
Gehrke, Mai ; Krebs, Andreas ; Pin, Jean-Eric ; et al.
Descriptional Complexity of Formal Systems 2014. :138-149

Turku, Finland ultrafilters equations regular language first order logic profinite …
Konferenz
Zu den Favoriten
197

Sub-cubic Change of Ordering for Gröner Basis: A Probabilistic Approach
Faugère, Jean-Charles ; Gaudry, Pierrick ; Huot, Louise ; et al.
ISSAC '14 - 39th International Symposium on Symbolic and Algebraic Computation. :170-177

Kobe, Japan ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo... ACM: I.: Computing Metho... I.1: SYMBOLIC AND ALGEBR... …
Konferenz
Zu den Favoriten
198

A Coq Formalization of Finitely Presented Modules
Cohen, Cyril ; Mörtberg, Anders ; Department of Computer Science and Engineering [Göteborg] (CSE) ; et al.
5th International Conference. :193-208

Vienna, Austria Formalization of mathema... Homological algebra Constructive algebra Coq SSReflect …
Konferenz
Zu den Favoriten
199

Equality and fixpoints in the calculus of structures
Chaudhuri, Kaustuv ; Guenot, Nicolas ; Proof search and reasoning with logic specifications (PARSIFAL) ; et al.
JOINT MEETING OF the Twenty-Third EACSL Annual Conference on COMPUTER SCIENCE LOGIC (CSL) AND the Twenty-Ninth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS). :1-10

Vienna, Austria ACM: F.: Theory of Compu... F.4: MATHEMATICAL LOGIC... F.4.1: Mathematical Logi... F.4.1.7: Proof theory [INFO.INFO-LO]Computer S... …
Konferenz
Zu den Favoriten
200

Undecidability of Multiplicative Subexponential Logic
Chaudhuri, Kaustuv ; Proof search and reasoning with logic specifications (PARSIFAL) ; Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX) ; et al.
Proceedings of the Third International Workshop on Linearity. :1-8

Vienna, Austria ACM: F.: Theory of Compu... F.4: MATHEMATICAL LOGIC... F.4.1: Mathematical Logi... F.4.1.1: Computational l... [INFO.INFO-LO]Computer S... …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter