Showing 121 - 140 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 121 - 140 results of 180 for search '"logic in computer science"', query time: 0.34s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 121
121

Enriching ‘Senso Comune’ with Semantic Role Sets

by Jezek, Elisabetta, Vieu, Laure, Zanzotto, Fabio, M, Vetere, Guido, Oltramari, Alessandro, Gangemi, Aldo, Varvara, Rossella
Published 2014
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access
Get access

Conference Object
Select result number 122
122

Enriching ‘Senso Comune’ with Semantic Role Sets

by Jezek, Elisabetta, Vieu, Laure, Zanzotto, Fabio, M, Vetere, Guido, Oltramari, Alessandro, Gangemi, Aldo, Varvara, Rossella
Published 2014
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access
Get access

Conference Object
Select result number 123
123

The limits of SDP relaxations for general-valued CSPs

by Thapper, Johan, Živný, Stanislav
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 124
124

The limits of SDP relaxations for general-valued CSPs

by Thapper, Johan, Živný, Stanislav
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 125
125

On shift-invariant maximal filters and hormonal cellular automata

by Cervelle, Julien, Lafitte, Grégory
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 126
126

On shift-invariant maximal filters and hormonal cellular automata

by Cervelle, Julien, Lafitte, Grégory
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 127
127

On shift-invariant maximal filters and hormonal cellular automata

by Cervelle, Julien, Lafitte, Grégory
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 128
128

On shift-invariant maximal filters and hormonal cellular automata

by Cervelle, Julien, Lafitte, Grégory
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 129
129

Duality and equational theory of regular languages

by Gehrke, Mai, Grigorieff, Serge, Pin, Jean-Eric
Published 2008
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access
Get access

Conference Object
Select result number 130
130

VOAR: A Visual and Integrated Ontology Alignment Environment

by Severo, Bernardo, Trojahn dos Santos, Cassia, Vieira, Renata
Published 2014
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access
Get access

Conference Object
Select result number 131
131

VOAR: A Visual and Integrated Ontology Alignment Environment

by Severo, Bernardo, Trojahn dos Santos, Cassia, Vieira, Renata
Published 2014
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access
Get access

Conference Object
Select result number 132
132

Duality and equational theory of regular languages

by Gehrke, Mai, Grigorieff, Serge, Pin, Jean-Eric
Published 2008
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access
Get access

Conference Object
Select result number 133
133

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

by Stolze, Claude, Liquori, Luigi
Published 2020
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 134
134

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

by Stolze, Claude, Liquori, Luigi
Published 2020
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 135
135

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

by Stolze, Claude, Liquori, Luigi
Published 2020
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 136
136

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

by Stolze, Claude, Liquori, Luigi
Published 2020
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 137
137

VOAR: A Visual and Integrated Ontology Alignment Environment

by Severo, Bernardo, Trojahn dos Santos, Cassia, Vieira, Renata
Published 2014
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access
Get access

Conference Object
Select result number 138
138

VOAR: A Visual and Integrated Ontology Alignment Environment

by Severo, Bernardo, Trojahn dos Santos, Cassia, Vieira, Renata
Published 2014
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access
Get access

Conference Object
Select result number 139
139

Duality and equational theory of regular languages

by Gehrke, Mai, Grigorieff, Serge, Pin, Jean-Eric
Published 2008
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access
Get access

Conference Object
Select result number 140
140

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

by Stolze, Claude, Liquori, Luigi
Published in Canadian Journal of Zoology (2020)
Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”

Get access
Get access
Get access
Get access

Conference Object