×

Found 95 Documents (Results 1–95)

Primes and irreducibles in truncation integer parts of real closed fields. (English) Zbl 1107.03034

Enayat, Ali (ed.) et al., Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. Wellesley, MA: AK Peters (ISBN 1-56881-296-5/pbk; 1-56881-295-7/hbk). Lecture Notes in Logic 26, 42-64 (2006).

Linear and integer programmes in supervisory control of Petri nets. (English) Zbl 1033.93044

Boel, R. (ed.) et al., Discrete event systems. Analysis and control. Papers from the 5th workshop, WODES 2000, Ghent, Belgium, August 21–23, 2000. Boston: Kluwer Academic Publishers (ISBN 0-7923-7897-0). Kluwer Int. Ser. Eng. Comput. Sci. 569, 399-408 (2000).

Filter Results by …

Access

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software