Showing
1 - 19
results of
19
for search '
"logic in computer science"
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Topic:
Logic in Computer Science cs.LO
Reset Filters
Show filters (1)
Topic:
Logic in Computer Science cs.LO
Search Results - Open Polar - "logic in computer science"
Search Results
Showing
1 - 19
results of
19
for search '
"logic in computer science"
'
, query time: 0.18s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Proceedings First International Workshop on Rewriting Techniques for Real-Time S...
Get access
Get access
From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus
Get access
Get access
Proceedings Fourth Interaction and Concurrency Experience
Get access
Get access
Certification extends Termination Techniques
Get access
Get access
An Automated Approach to the Collatz Conjecture
Get access
Get access
Lean and Full Congruence Formats for Recursion
Get access
Get access
Proceedings First International Workshop on Process Algebra and Coordination
Get access
Get access
Proceedings 7th International Workshop on Automated Specification and Verificati...
Get access
Get access
Multi-level Contextual Type Theory
Get access
Get access
Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus
Get access
Get access
Semi-Automation of Meta-Theoretic Proofs in Beluga ...
Get access
Get access
Proving Termination of Graph Transformation Systems using Weighted Type Graphs o...
Get access
Get access
A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code P...
Get access
Get access
A Case Study on Logical Relations using Contextual Types
Get access
Get access
The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space
Get access
Get access
On Recognizable Languages of Infinite Pictures
Get access
Get access
A Type Checker for a Logical Framework with Union and Intersection Types
Get access
Get access
Building the access pointers to a computation environment
Get access
Get access
Degrees of Second and Higher-Order Polynomials ...
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Text
9
Report
7
Article in Journal/Newspaper
3
Author
Pientka, Brigitte
3
Aaronson, Scott
1
Aceto, Luca
1
Blair, William
1
Bliudze, Simon
1
Boespflug, Mathieu
1
Bruggink, H. J. Sander
1
Bruni, Roberto
1
Carbone, Marco
1
Cardelli, Luca
1
Cave, Andrew
1
Finkel, Olivier
1
Forster, Yannick
1
Heule, Marijn J. H.
1
Kovacs, Laura
1
Kunze, Fabian
1
König, Barbara
1
Lim, Donghyun
1
Liquori, Luigi
1
Mousavi, Mohammad Reza
1
Nolte, Dennis
1
Osera, Peter-Michael
1
Pugliese, Rosario
1
Ren, Zhiqiang
1
Roth, Marc
1
Schwartzentruber, Johanna
1
Silva, Alexandra
1
Sternagel, Christian
1
Stolze, Claude
1
Thiemann, René
1
see all ...
Topic
FOS Computer and information sciences
19
Logic in Computer Science cs.LO
Programming Languages cs.PL
9
Computational Complexity cs.CC
3
FOS Mathematics
2
Logic math.LO
2
68Q15, 03D15, 03D65
1
D.3.1; F.1; F.4.1
1
F.1.3; G.2.3; I.1.1
1
F.3.1; F.4.1
1
F.3.2
1
F3.1
1
Formal Languages and Automata Theory cs.FL
1
K.3.2
1
Software Engineering cs.SE
1
see all ...
Content Provider
DataCite Metadata Store (German National Library of Science and Technology)
19
Geographic location
Arctic
4
Lambda
3
Eta
1
Longyearbyen
1
see all ...
Language
unknown
19
Open Polar Keyword
Iceland
5
Arctic
4
Beluga
4
Beluga*
4
The Pointers
2
DML
1
Longyearbyen
1
Orca
1
Spitsbergen
1
sami
1
see all ...
Loading...