Search Results
Showing 1 - 20 results of 74 for search '"theory of computation"', query time: 0.29s Refine ResultsPlease enable Javascript.
Please upgrade your browser.
Search Tools:
Get RSS Feed
Narrow Search
Guyet, Thomas
15
Markey, Nicolas
15
Liquori, Luigi
6
Stolze, Claude
6
Neese, F.
5
Ballis, Demis
3
Gomez, N.
3
Hay, C.
3
Latychev, K.
3
Le Bescond, Chloé
3
Morrow, E.
3
Renard, Benjamin
3
Tamisiea, M. E.
3
Alpuente Frasnedo, María
2
Bentley, Megan R
2
Boileau, Marc G.
2
Escobar Román, Santiago
2
Giunti, Marco
2
Gomaa, Walid
2
Hebert, Paul D. N.
2
Hoyrup, Mathieu
2
Incecik, Atilla
2
Jacobsen, Niels Kingo
2
Jensen, Ruth Helkiær
2
Mitrovica, J. X.
2
Sapiña-Sanchis, Julia
2
Schwartz, Steven S.
2
Tezdogan, Tahsin
2
Yang, Injun
2
ALPUENTE, MARÍA
1
see all ...
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
22
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
15
[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
15
temporal logics
15
temporal models
15
Dependent types
6
Refiner
6
Subtyping
6
Type checker
6
Union types
6
2012 ACM Subject Classification Theory of computation → Lambda calculus
5
Theory of computation → Proof theory Keywords and phrases Intersection types
5
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
5
∆-Framework
5
[SDE]Environmental Sciences
3
ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.2: Computability theory
2
ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.5: Program analysis
2
ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory
2
Computable Analysis
2
Computable linear ordering
2
Computable real function
2
Computer Science Applications
2
Ecology, Evolution, Behavior and Systematics
2
Generic real number
2
Left-c.e. real number
2
Physical and Theoretical Chemistry
2
Session types
2
Simple left-c.e. real number
2
Theory and Computation
2
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
2
see all ...
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
6
Max Planck Society: MPG.PuRe
4
Université de Nantes: HAL-UNIV-NANTES
4
ACS Publications
3
DataCite Metadata Store (German National Library of Science and Technology)
3
ArXiv.org (Cornell University Library)
2
HAL Lyon 1 (University Claude Bernard Lyon 1)
2
Harvard University: DASH - Digital Access to Scholarship at Harvard
2
INSA Lyon HAL (Institut National des Sciences Appliquées)
2
Memorial University of Newfoundland: Digital Archives Initiative (DAI)
2
Portail HAL - Ecole Centrale de Lyon
2
Universidad Nacional de Colombia: Portal de Revistas UN
2
University of Illinois at Urbana-Champaign: IDEALS (Illinois Digital Environment for Access to Learning and Scholarship)
2
Université de Lyon: HAL
2
Université de Rennes 1: Publications scientifiques (HAL)
2
Aalto University Publication Archive (Aaltodoc)
1
Aarhus University: OJS at The State and University Library
1
Aix-Marseille Université: HAL
1
Apollo - University of Cambridge Repository
1
Caltech Authors (California Institute of Technology)
1
Cambridge University Press (via Crossref)
1
Croatian Digital Theses Repository (National and University Library in Zagreb)
1
DIAL@USL-B (Université Saint-Louis, Bruxelles)
1
Digital.CSIC (Spanish National Research Council)
1
EPFL Infoscience (Ecole Polytechnique Fédérale Lausanne)
1
Forschungszentrum Jülich: JuSER (Juelich Shared Electronic Resources)
1
Ghent University Academic Bibliography
1
HAL Université Côte d'Azur
1
HighWire Press (Stanford University)
1
Hunter Library Digital Collections (Western Carolina University)
1
see all ...
Heard
15
McDonald Islands
15
Antarctic
7
Lambda
6
Canada
5
Maude
4
Bakker
2
Découverte
2
Escobar
2
Igloolik
2
Indian
2
Jura
2
Raleigh
2
Román
2
Saddle Point
2
Svalbard
2
The Antarctic
2
Van Mieghem
2
Arctic
1
Bienvenue
1
Brooklyn
1
Buttress
1
Cayley
1
Crabtree
1
Craddock
1
Daly
1
Detroit
1
Donnelly
1
Fairview
1
Fuerte
1
see all ...
McDonald Islands
15
Antarc*
13
Antarctica
8
Antarctic
7
Iceland
7
Beluga
6
Beluga*
6
Orca
6
Arctic
5
Ice Sheet
5
narval
4
Bering Land Bridge
2
Carbonic acid
2
Fennoscandia
2
Igloolik
2
Methane hydrate
2
Newfoundland studies
2
Svalbard
2
University of Newfoundland
2
eskimo*
2
permafrost
2
ren
2
Alaska
1
Annals of Glaciology
1
DML
1
Greenland
1
Groenland
1
Journal of Glaciology
1
Korea Polar Research Institute
1
Nunavut
1
see all ...