Documents par ordre de pertinence

000248 (1998)	Stasys Jukna [Allemagne, Lituanie] ; Stanislav Žák [République tchèque]	On branching programs with bounded uncertainty
000298 (1993)	Christoph Meinel [Allemagne] ; Stephan Waack [Allemagne]	Separating complexity classes related to bounded alternating Ω-branching programs
000259 (1997)	S. Jukna [Allemagne] ; A. Razborov [Russie, Cuba] ; P. Savick [République tchèque, Swaziland] ; I. Wegener [Allemagne]	On P versus NP∩co-NP for decision trees and read-once branching programs
000304 (1993)	Jordan Gergov ; Christoph Meinel [Allemagne]	Frontiers of feasible and probabilistic feasible Boolean manipulation with branching programs
000022 (2010)	Christophe Costa Florêncio [Belgique] ; Henning Fernau [Allemagne]	Finding Consistent Categorial Grammars of Bounded Value: A Parameterized Approach
000231 (2000)	Helmut Seidl [Allemagne] ; Bernhard Steffen [Allemagne]	Constraint-Based Inter-Procedural Analysis of Parallel Programs

This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024

	Serveur d'exploration sur l'Université de Trèves
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.