Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
185 | Erich Hartmann |
The normalform of a space curve and its application to surface design. |
Vis. Comput. |
2001 |
DBLP DOI BibTeX RDF |
normalform, constant distance sum/product surfaces, pipe surfaces, G n, isophotes, blending, bisectors, intersection points, intersection curves |
33 | Vincent Conitzer, Tuomas Sandholm |
Computing the optimal strategy to commit to. |
EC |
2006 |
DBLP DOI BibTeX RDF |
normalform games, stackelberg, game theory, nash equilibrium, commitment, leadership, bayesian games |
32 | Bernd Kolar, Markus Schöberl, Kurt Schlacher |
Eine Normalform für eine spezielle Klasse flacher nichtlinearer zeitdiskreter Mehrgrößensysteme. |
Autom. |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Markus Schöberl, Kurt Schlacher |
Eine Normalform für eine spezielle Klasse flacher nichtlinearer Mehrgrößensysteme in Pfaffscher Systemdarstellung. |
Autom. |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Bernhard Humm, Oliver Juwig |
Eine Normalform für Services. |
Software Engineering |
2006 |
DBLP BibTeX RDF |
|
32 | Patrick Theobald |
Ein Framework zur Berechnung der Hermite-Normalform von großen, dünnbesetzten, ganzzahligen Matrizen. (PDF / PS) |
|
2001 |
RDF |
|
32 | Michael Bertol |
Effiziente Normalform-Algorithmen für Ersetzungssysteme über frei partiell kommutativen Monoiden. (PDF / PS) |
|
1996 |
RDF |
|
32 | Klaus Küspert, R. Erbe, M. Wengner |
Varianten der Abbildung NF2-strukturierter Daten aud Relationen erster Normalform. |
Grundlagen von Datenbanken |
1991 |
DBLP BibTeX RDF |
|
32 | Dieter Zöbel |
Normalform-Transformationen für CSP-Programme. |
Inform. Forsch. Entwickl. |
1988 |
DBLP BibTeX RDF |
|
32 | Günter Hotz, Rockford J. Ross |
LL(k)- und LR(k)-Invarianz von kontexfreien Grammatiken unter einer Transformation auf Greibach-Normalform. |
J. Inf. Process. Cybern. |
1979 |
DBLP BibTeX RDF |
|
32 | Dieter Barthel |
Minimisierung schaltalgebraischer Ausdrücke durch Auswahl von Primkonjunktionen ohne Rückgriff auf die kanonische alternative Normalform. |
J. Inf. Process. Cybern. |
1979 |
DBLP BibTeX RDF |
|
32 | Wolfgang Coy, Andreas Vogel |
Eine einfach strukturierte Schaltwerk-Normalform mit niedriger Test-Komplexität. |
J. Inf. Process. Cybern. |
1976 |
DBLP BibTeX RDF |
|
32 | Hans Joachim Zander |
Zur Minimierung von partiellen Booleschen Funktionen bei gegebener nichtkanonischer Normalform. |
J. Inf. Process. Cybern. |
1973 |
DBLP BibTeX RDF |
|
32 | Eberhard Oberst |
Über eine Möglichkeit zur Bestimmung der Primkonjunktionen einer kanonischen alternativen Normalform. |
J. Inf. Process. Cybern. |
1966 |
DBLP BibTeX RDF |
|
24 | Andreas Goerdt |
On Random Ordering Constraints. |
CSR |
2009 |
DBLP DOI BibTeX RDF |
random structures, Algorithms, logic, probabilistic analysis, ordering |
24 | Andreas Goerdt |
On Random Betweenness Constraints. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
random structures, Algorithms, logic, probabilistic analysis |
24 | Andreas Goerdt |
The Cutting Plane Proof System with Bounded Degree of Falsity. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Béla Halassy |
Application of Relational Normalforms in CASE-Tools. |
CAiSE |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Andreas Goerdt |
Cuting Plane Versus Frege Proof Systems. |
CSL |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Andreas Goerdt |
Davis-Putnam Resolution versus Unrestricted Resolution. |
CSL |
1989 |
DBLP DOI BibTeX RDF |
|