Search Sciweavers | Sciweavers

5510 search results - page 107 / 1102

» Mathematics

164

click to vote

LICS
1997
IEEE

123views Automated Reasoning» more LICS 1997»

Towards a Mathematical Operational Semantics

15 years 10 months ago

Download homepages.inf.ed.ac.uk

We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...

Daniele Turi, Gordon D. Plotkin

claim paper

Read More »

134

click to vote

ISPD
1997
ACM

91views Hardware» more ISPD 1997»

Physical design: mathematical models and methods

15 years 10 months ago

Download www.cs.york.ac.uk

T. C. Hu

claim paper

Read More »

137

click to vote

HICSS
1994
IEEE

105views Biometrics» more HICSS 1994»

Speeding-up Mathematical Morphology Computations with Special-Purpose Array Processors

15 years 10 months ago

Download www.ce.unipr.it

Alberto Broggi

claim paper

Read More »

122

click to vote

IFIP
1994
Springer

121views Programming Languages» more IFIP 1994»

A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations

15 years 10 months ago

Download www.eecs.umich.edu

Egon Börger, Francisco Javier López-Fr...

claim paper

Read More »

133

click to vote

KGC
1993
Springer

90views Automated Reasoning» more KGC 1993»

The Mathematics of Set Predicates in Prolog

15 years 10 months ago

Download www.eecs.umich.edu

We provide a logical speci cation of set predicates ndall and bagof of Prolog. The speci cation is given in proof theoretic terms, and pertains to any SLD resolution based language...

Egon Börger, Dean Rosenzweig

claim paper

Read More »

« Prev « First page 107 / 1102 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers