Showing 61 - 80 results of 180 for search '"logic in computer science"' Skip to content

0 items (Full)

Advanced Search History Search by Map: Arctic Antarctic

Search Results - Open Polar - "logic in computer science"

Search Results

Showing 61 - 80 results of 180 for search '"logic in computer science"', query time: 2.08s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 61
61

On Recognizable Languages of Infinite Pictures

by Finkel, Olivier
Published 2009
Subjects: “...Logic in Computer Science cs.LO...”

Get access
Get access

Text
Select result number 62
62

A Type Checker for a Logical Framework with Union and Intersection Types

by Liquori, Luigi, Stolze, Claude
Published 2020
Subjects: “...Logic in Computer Science cs.LO...”

Get access
Get access

Article in Journal/Newspaper
Select result number 63
63

A type-theoretical definition of weak ω-categories

by Finster, Eric, Mimram, Samuel
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 64
64

A type-theoretical definition of weak ω-categories

by Finster, Eric, Mimram, Samuel
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 65
65

A type-theoretical definition of weak ω-categories

by Finster, Eric, Mimram, Samuel
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 66
66

A type-theoretical definition of weak ω-categories

by Finster, Eric, Mimram, Samuel
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 67
67

Enumeration reducibility in closure spaces with applications to logic and algebra

by Jeandel, Emmanuel
Published 2017
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access

Conference Object
Select result number 68
68

An Effectful Way to Eliminate Addiction to Dependence

by Pédrot, Pierre-Marie, Tabareau, Nicolas
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 69
69

Building the access pointers to a computation environment

by Wolfengagen, Viacheslav
Published 2001
Subjects: “...Logic in Computer Science cs.LO...”

Get access
Get access

Text
Select result number 70
70

Enumeration reducibility in closure spaces with applications to logic and algebra

by Jeandel, Emmanuel
Published 2017
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access

Conference Object
Select result number 71
71

An Effectful Way to Eliminate Addiction to Dependence

by Pédrot, Pierre-Marie, Tabareau, Nicolas
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 72
72

An Effectful Way to Eliminate Addiction to Dependence

by Pédrot, Pierre-Marie, Tabareau, Nicolas
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 73
73

Graph structure and monadic second-order logic : Language theoretical aspects

by Courcelle, Bruno
Published 2008
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access

Conference Object
Select result number 74
74

Graph structure and monadic second-order logic : Language theoretical aspects

by Courcelle, Bruno
Published 2008
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access

Conference Object
Select result number 75
75

Graph structure and monadic second-order logic : Language theoretical aspects

by Courcelle, Bruno
Published 2008
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access

Conference Object
Select result number 76
76

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access

Conference Object
Select result number 77
77

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access

Conference Object
Select result number 78
78

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access

Conference Object
Select result number 79
79

A Crevice on the Crane Beach: Finite-Degree Predicates

by Cadilhac, Michaël, Paperman, Charles
Published 2017
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access

Conference Object
Select result number 80
80

A Crevice on the Crane Beach: Finite-Degree Predicates

by Cadilhac, Michaël, Paperman, Charles
Published 2017
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access

Conference Object