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

Treffer 61 - 80 von 1.805

61

A sequent calculus with dependent types for classical arithmetic
Miquey, Étienne ; Gallinette : vers une nouvelle génération d'assistant à la preuve (LS2N - équipe GALLINETTE) ; Centre Inria de l'Université de Rennes ; et al.
LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science. :720-729

Oxford, United Kingdom dependent choice dependent types side effects classical realizability Curry-Howard …
Konferenz
Zu den Favoriten
62

A resource modality for RAII
Combette, Guillaume ; Munch-Maccagnoni, Guillaume ; École normale supérieure de Lyon (ENS de Lyon) ; et al.
LOLA 2018: Workshop on Syntax and Semantics of Low-Level Languages. :1-4

Oxford, United Kingdom ACM: F.: Theory of Compu... F.3: LOGICS AND MEANINGS... F.3.2: Semantics of Prog... F.3.3: Studies of Progra... [INFO.INFO-PL]Computer S... …
Konferenz
Zu den Favoriten
63

Concurrent secrets with quantified suspicion
Hélouët, Loïc ; Marchand, Hervé ; Mullins, John ; et al.
ACSD' 2018 - 18th International Conference on Application of Concurrency to System Design. :1-15

Bratislava, Slovakia ACM: F.: Theory of Compu... F.4: MATHEMATICAL LOGIC... [INFO.INFO-FL]Computer S... Formal Languages and Aut...
Konferenz
Zu den Favoriten
64

Quaternion Modeling and Observer-based Torque Compensation of an Aerial Manipulator
Alavrez Muños, Jonatan ; Escareno, Juan Antonio ; Marchand, Nicolas ; et al.
MICNON 2018 - 2nd IFAC Conference on Modelling. :543-548

Jalisco, Mexico Euler-Lagrange and Quate... Stochastic vs Determinis... Aerial Manipulation Nonlinear Control ACM: I.: Computing Metho... …
Konferenz
Zu den Favoriten
65

Realizability Interpretation and Normalization of Typed Call-by-Need λ-calculus With Control
Miquey, Étienne ; Herbelin, Hugo ; Gallinette : vers une nouvelle génération d'assistant à la preuve (LS2N - équipe GALLINETTE) ; et al.
FOSSACS 18 - 21st International Conference on Foundations of Software Science and Computation Structures. :276-292

Thessalonique, Greece ACM: F.: Theory of Compu... F.3: LOGICS AND MEANINGS... F.3.2: Semantics of Prog... F.3.2.2: Operational sem... F.3.3: Studies of Progra... …
Konferenz
Zu den Favoriten
66

Towards 'up to context' reasoning about higher-order processes
Durier, Adrien ; Hirschkoff, Daniel ; Sangiorgi, Davide ; et al.
Theoretical Computer Science. 807:154-168

Termination Bisimilarity Higher-order Process calculi Unique solution of equat... ACM: F.: Theory of Compu... …
Zeitschrift
Zu den Favoriten
67

Rice's theorem for generic limit sets of cellular automata
Delacourt, Martin ; Université d'Orléans (UO) ; Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) ; et al.
AUTOMATA 2021, Jul 2021, Marseille, France

Marseille, France ACM: F.: Theory of Compu... F.1: COMPUTATION BY ABST... F.1.1: Models of Computa... F.1.1.0: Automata (e.g.,... F.1.1.2: Computability t... …
Konferenz
Zu den Favoriten
68

On the logical structure of choice and bar induction principles
Brede, Nuria ; Herbelin, Hugo ; University of Potsdam = Universität Potsdam ; et al.

Rome / Virtual, Italy ACM: F.: Theory of Compu... F.4: MATHEMATICAL LOGIC... F.4.1: Mathematical Logi... [INFO.INFO-LO]Computer S... Logic in Computer Scienc... …
Konferenz
Zu den Favoriten
69

Anytime search strategies for constraints satisfaction problem
Stratégies de résolution anytime de problèmes de satisfaction de contraintes numériques
Richard de Latour, Thomas ; Chenouard, Raphaël ; Granvilliers, Laurent ; et al.
Journée Francophone de la Programmation par Contrainte, Jun 2021, Nice, France

Nice, France ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.1: Numerical Algorit... ACM: G.: Mathematics of... G.1: NUMERICAL ANALYSIS …
Konferenz
Zu den Favoriten
70

Une approche basée sur l'ASP pour détecter des attracteurs dans les réseaux booléens circulaires
Khaled, Tarek ; Benhamou, Belaïd ; Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (LIRICA) ; et al.
14eme Journées Francophones de Programmation par Contraintes, JFPC, Jun 2021, Nice, France

Nice, France ACM: F.: Theory of Compu... [INFO]Computer Science [... [SDV]Life Sciences [q-bi...
Konferenz
Zu den Favoriten
71

125 Problems in Text Algorithms
Crochemore, Maxime ; Lecroq, Thierry ; Rytter, Wojciech ; et al.

ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... ACM: I.: Computing Metho... I.7: DOCUMENT AND TEXT P... [INFO.INFO-DS]Computer S... Data Structures and Algo... …
Buch
Zu den Favoriten
72

Dynamical system,prime numbers,black Holes,quantum mechanics, and the Riemann hypothesis
Sghiar, Mohamed ; Chercheur indépendant

Prime Number number theo... Prime Number number theory distribution of prime nu... the law of prime numbers the Gamma function …
E-Ressource
Zu den Favoriten
73

Chromatic Community Structure Detection
Détection de Structures Communautaires Chromatiques
Delaplace, Franck ; Informatique, BioInformatique, Systèmes Complexes (IBISC) ; Université d'Évry-Val-d'Essonne (UEVE)-Université Paris-Saclay

Community structures Color Detection Methods ACM: D.: Software ACM: F.: Theory of Compu... [INFO]Computer Science [... …
E-Ressource
Zu den Favoriten
74

Dynamical system, prime numbers, and black holes
Sghiar, Mohamed ; Chercheur indépendant

Prime Number number theo... Prime Number number theory distribution of prime nu... the law of prime numbers the Gamma function …
E-Ressource
Zu den Favoriten
75

Cantor-Bernstein implies Excluded Middle
Brown, Chad, E ; Pradic, Cécilia ; Czech Technical University in Prague (CTU) ; et al.

ACM: F.: Theory of Compu... F.4: MATHEMATICAL LOGIC... F.4.1: Mathematical Logi... F.4.1.7: Proof theory [MATH.MATH-LO]Mathematic... Logic [math.LO] …
E-Ressource
Zu den Favoriten
76

ALIBERT: A PRETRAINED LANGUAGE MODEL FOR FRENCH BIOMEDICAL TEXT
AliBERT: UN MODÈLE DE LANGAGE PRÉ-ENTRAÎNÉ POUR LES TEXTES BIOMÉDICAUX EN FRANÇAIS
Berhe, Aman ; Draznieks, Guillaume ; Martenot, Vincent ; et al.

ACM: C.: Computer System... C.1: PROCESSOR ARCHITECT... C.1.3: Other Architectur... C.1.3.7: Neural nets ACM: F.: Theory of Compu... F.1: COMPUTATION BY ABST... …
E-Ressource
Zu den Favoriten
77

Algebraic Monograph Transformations
Boy de la Tour, Thierry ; Laboratoire d'Informatique de Grenoble (LIG) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP) ; et al.

Algebraic Graph Transfor... Graph Structures Typed Graphs ACM: F.: Theory of Compu... [INFO]Computer Science [...
E-Ressource
Zu den Favoriten
78

A parametricity-based formalization of semi-simplicial and semi-cubical sets
Herbelin, Hugo ; Ramachandra, Ramkumar ; Les assistants à la démonstration au cœur du raisonnement mathématique (PICUBE) ; et al.

Parametricity translatio... Simplicial set Cubical set Proof assistant Coq Formalization ACM: F.: Theory of Compu... …
E-Ressource
Zu den Favoriten
79

Topological Aspects of Representations in Computable Analysis
Aspects Topologiques des Représentations en Analyse Calculable
Hoyrup, Mathieu ; Designing the Future of Computational Models (MOCQUA) ; Centre Inria de l'Université de Lorraine ; et al.
Computer Science [cs]. Université de Lorraine, 2023

descriptive complexity topology representation computability Calculabilité représentation …
Report
Zu den Favoriten
80

Do model-theoretic grammars have fundamental advantages over proof-theoretic grammars?
Moot, Richard ; Exploration et exploitation de données textuelles (LIRMM | TEXTE) ; Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) ; et al.

Model theoretic syntax Lambek calculus Proof theory ACM: F.: Theory of Compu... F.4: MATHEMATICAL LOGIC... ACM: I.: Computing Metho... …
E-Ressource
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter