Search Sciweavers | Sciweavers

1008 search results - page 37 / 202

» Canonicity!

click to vote

CAI
2009
Springer

115views Information Technology» more CAI 2009»

Canonical Reduction Systems in Symbolic Mathematics

15 years 7 months ago

Download www.risc.jku.at

Franz Winkler

claim paper

Read More »

click to vote

WADT
2001
Springer

91views Software Engineering» more WADT 2001»

Canonical Institutions of Behaviour

15 years 7 months ago

Download www.cs.math.ist.utl.pt

José Félix Costa, Hugo Lourenç...

claim paper

Read More »

113

click to vote

CSL
1994
Springer

108views Automated Reasoning» more CSL 1994»

Canonical Forms for Data-Specifications

15 years 6 months ago

Download people.cs.kuleuven.be

Frank Piessens, Eric Steegmans

claim paper

Read More »

100

click to vote

ECCV
1992
Springer

102views Computer Vision» more ECCV 1992»

Canonical Frames for Planar Object Recognition

15 years 6 months ago

Download luthuli.cs.uiuc.edu

Charlie Rothwell, Andrew Zisserman, David A. Forsy...

claim paper

Read More »

Voted

ICCD
1992
IEEE

75views Hardware» more ICCD 1992»

Fast Minimization of Mixed-Polarity AND/XOR Canonical Networks

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers