Treffer 1 – 14 von 14 für Suche 'Stewart, Iain A.', Suchdauer: 0,05s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Complete problems involving Boolean labelled structures and projection translations von Stewart, Iain A.
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
2
Uniform sequences of branching programs von Stewart, Iain A.
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
3
Logical characterizations of bounded query classes I logspace oracle machines von Stewart, Iain A.
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
4
Complete problems for logspace involving lexicographic first paths in graphs von Stewart, Iain A.
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
5
An algorithm for colouring perfect planar graphs von Stewart, Iain A.
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen … -
6
On the expressibility of extensions of first-order logic von Stewart, Iain A.
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
7
On the capture of complexity classes using logic von Stewart, Iain A.
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
8
Deciding whether a planar graph has a cubic subgraph is NP-complete von Stewart, Iain A.
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
9
Expressibility, complexity, and comparative schematology von Stewart, Iain A.
Veröffentlicht 1988Signatur: Wird geladen …
Standort: Wird geladen … -
10
On the intersections of longest cycles in a graph von Stewart, Iain A.
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen … -
11
Methods for proving completeness via logical reductions von Stewart, Iain A.
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
12
Logical characterization of bounded query classes II polynomial-time oracle machines von Stewart, Iain A.
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
13
On completeness for NP via projection translations von Stewart, Iain A.
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
14
A parallel algorithm to four-colour a perfect planar graph von Stewart, Iain A.
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen …