Search Sciweavers | Sciweavers

1008 search results - page 37 / 202

» Canonicity!

116

click to vote

CAI
2009
Springer

115views Information Technology» more CAI 2009»

Canonical Reduction Systems in Symbolic Mathematics

15 years 10 months ago

Download www.risc.jku.at

Franz Winkler

claim paper

Read More »

105

click to vote

WADT
2001
Springer

91views Software Engineering» more WADT 2001»

Canonical Institutions of Behaviour

15 years 10 months ago

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

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

claim paper

Read More »

159

click to vote

CSL
1994
Springer

108views Automated Reasoning» more CSL 1994»

Canonical Forms for Data-Specifications

15 years 10 months ago

Download people.cs.kuleuven.be

Frank Piessens, Eric Steegmans

claim paper

Read More »

135

click to vote

ECCV
1992
Springer

102views Computer Vision» more ECCV 1992»

Canonical Frames for Planar Object Recognition

15 years 10 months ago

Download luthuli.cs.uiuc.edu

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

claim paper

Read More »

109

click to vote

ICCD
1992
IEEE

75views Hardware» more ICCD 1992»

Fast Minimization of Mixed-Polarity AND/XOR Canonical Networks

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers