Angluin et al.
1981
Finite common coverings of pairs of regular graphs
Joseph et al.
1985
On the complexity of reachability and motion planning questions
De Forcrand et al.
1991
Gauge fixing on the lattice
Berman
1983
Proof of a conjecture of Häggkvist on cycles and independent edges
Gasharov
2001
Sufficiency of Lakshmibai–Sandhya singularity conditions for Schubert varieties
Dullemeijer
1985
Diversity of functional morphological explanation
Bernard et al.
2018
Model for a rigid, 3D mechanism inspired by pop-up origami, and its application to a re-configurable, physical environmenl
Schonmann
1987
A new proof of the complete convergence theorem for contact processes in several dimensions with large infection parameter
DE1529169U
(enExample )
Balcar et al.
1995
Baire number of the spaces of uniform ultrafilters
ES2124721T3
(es )
1999-02-16
Sistema de programacion compuesto y su procedimiento de realizacion.
DE1816359U
(de )
1960-08-11
Vorrichtung zur durchfuehrung von leitungen oder kabeln durch trennwaende.
Votes
2023
Report of Completion
Khalil et al.
1991
Automatic generation of the inverse geometric model of robots
DE1698413C
(de )
1971-12-30
Anordnung zur Vergrößerung der Auflösung eines natürlich-binärkodierten Maßstabes
Altshuler et al.
1981
The topological structure of 3-pseudomanifolds
Aval
2002
On certain spaces of lattice diagram determinants
Falk
1986
Cohen on corroboration
KHARGONEKAR et al.
1990
Generalized interpolation theory for the design and analysis of robust feedback systems(Final Report, 1 Oct. 1987- 31 Mar. 1990)
Powers
1968
Multi-valued mappings and fixed point theorems
CHAN et al.
2000
EXTINCTION, WEAK EXTINCTION AND ÞER SISTENCE IN A DISCRETE, COMPETITIVE
O'Leary
1995
On the history of AI applications. I: IEEE Expert-the first nine years
Dirks
1999
Book Review: Philosophies of Integration: Immigration and the Idea of Citizenship in France and Britain
DE1468042U
(enExample )
Baker et al.
1978
Sequence Topologies on the Real Line