Search Sciweavers | Sciweavers

27119 search results - page 45 / 5424

» Languages

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

15 years 9 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

115

click to vote

SMALLTALK
2007
Springer

106views Programming Languages» more SMALLTALK 2007»

Redesigning with traits: the Nile stream trait-based library

15 years 9 months ago

Download csl.ensm-douai.fr

Damien Cassou, Stéphane Ducasse, Roel Wuyts

claim paper

Read More »

127

click to vote

TBILLC
2007
Springer

119views Natural Language Processing» more TBILLC 2007»

Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach

15 years 9 months ago

Download www.illc.uva.nl

Alexei Y. Muravitsky

claim paper

Read More »

click to vote

TBILLC
2007
Springer

134views Natural Language Processing» more TBILLC 2007»

The Modal Formula (...) Is Not First-Order Definable

15 years 9 months ago

Download www.illc.uva.nl

Ali Karatay

claim paper

Read More »

104

click to vote

TBILLC
2007
Springer

129views Natural Language Processing» more TBILLC 2007»

Three Kinds of Event Nominal Negation in Russian

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers