Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("Czaja, Ludwik")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 43

  • Page / 2
Export

Selection :

  • and

On the analysis of Petri nets and their synthesis from process languagesCZAJA, Ludwik.Informatique théorique et applications (Imprimé). 2003, Vol 37, Num 1, pp 17-38, issn 0988-3754, 22 p.Article

CALCULI OF NET STRUCTURES AND SETS ARE SIMILARCZAJA, Ludwik.Informatique théorique et applications (Imprimé). 2008, Vol 42, Num 2, pp 271-284, issn 0988-3754, 14 p.Article

FCT '97 : fundamentals of computation theory (Krakow, September 1-3, 1997)Chlebus, Bogdan S; Czaja, Ludwik.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63386-3, XI, 474 p, isbn 3-540-63386-3Conference Proceedings

On an optimal quantified propositional proof system and a complete language for NP ∩ co-NPSADOWSKI, Z.Lecture notes in computer science. 1997, pp 423-428, issn 0302-9743, isbn 3-540-63386-3Conference Paper

On the hierarchy of nondeterministic branching k-programsOKOL'NISHNIKOVA, E. A.Lecture notes in computer science. 1997, pp 376-387, issn 0302-9743, isbn 3-540-63386-3Conference Paper

Stochastic analysis of dynamic processesUPFAL, E.Lecture notes in computer science. 1997, pp 85-92, issn 0302-9743, isbn 3-540-63386-3Conference Paper

The subword complexity of fixed points of binary uniform morphismsFRID, A. E.Lecture notes in computer science. 1997, pp 179-187, issn 0302-9743, isbn 3-540-63386-3Conference Paper

Locally computable enumerationsMAZURKIEWICZ, A.Lecture notes in computer science. 1997, pp 51-66, issn 0302-9743, isbn 3-540-63386-3Conference Paper

The complexity of error-correcting codesSPIELMAN, D. A.Lecture notes in computer science. 1997, pp 67-84, issn 0302-9743, isbn 3-540-63386-3Conference Paper

A two-dimensional hierarchy for attributed tree transducersKÜHNEMANN, A.Lecture notes in computer science. 1997, pp 281-292, issn 0302-9743, isbn 3-540-63386-3Conference Paper

Distributed acyclic orientation of asynchronous anonymous networksCALABRESE, A.Lecture notes in computer science. 1997, pp 129-137, issn 0302-9743, isbn 3-540-63386-3Conference Paper

Lower bounds in on-line geometric searchingSCHUIERER, S.Lecture notes in computer science. 1997, pp 429-440, issn 0302-9743, isbn 3-540-63386-3Conference Paper

On occurrence net semantics for Petri nets with contactsLOMAZOVA, I. A.Lecture notes in computer science. 1997, pp 317-328, issn 0302-9743, isbn 3-540-63386-3Conference Paper

On the average complexity of the membership problem for a generalized Dyck languageNEBEL, M. E.Lecture notes in computer science. 1997, pp 352-363, issn 0302-9743, isbn 3-540-63386-3Conference Paper

Polynomial time machines equipped with word problems over algebraic structures as their acceptance criteriaHERTRAMPF, U.Lecture notes in computer science. 1997, pp 233-244, issn 0302-9743, isbn 3-540-63386-3Conference Paper

Bounded concurrencyGRUSKA, D. P.Lecture notes in computer science. 1997, pp 198-209, issn 0302-9743, isbn 3-540-63386-3Conference Paper

Cellular automata universality revisitedMARTIN, B.Lecture notes in computer science. 1997, pp 329-339, issn 0302-9743, isbn 3-540-63386-3Conference Paper

The equivalence of pebbles and sensing heads for finite automataPETERSEN, H.Lecture notes in computer science. 1997, pp 400-410, issn 0302-9743, isbn 3-540-63386-3Conference Paper

Unique normal forms for nonlinear term rewriting systems : Root overlapsVERMA, R. M.Lecture notes in computer science. 1997, pp 452-462, issn 0302-9743, isbn 3-540-63386-3Conference Paper

A note on broadcasting with linearly bounded transmission faults in constant degree networksCIEBIERA, K; MALINOWSKI, A.Lecture notes in computer science. 1997, pp 150-156, issn 0302-9743, isbn 3-540-63386-3Conference Paper

Behavioural characterizations of partial order logicsVIRBITSKAITE, I; VOTINTSEVA, A.Lecture notes in computer science. 1997, pp 463-474, issn 0302-9743, isbn 3-540-63386-3Conference Paper

Generalized rational relations and their logical definabilityCHOFFRUT, C; GUERRA, L.Lecture notes in computer science. 1997, pp 138-149, issn 0302-9743, isbn 3-540-63386-3Conference Paper

Proof systems for structured algebraic specifications : An overviewHENNICKER, R; WIRSING, M.Lecture notes in computer science. 1997, pp 19-37, issn 0302-9743, isbn 3-540-63386-3Conference Paper

Refinement of coloured Petri netsBEST, E; THIELKE, T.Lecture notes in computer science. 1997, pp 105-116, issn 0302-9743, isbn 3-540-63386-3Conference Paper

Stratified Petri netsBADOUEL, E; DARONDEAU, P.Lecture notes in computer science. 1997, pp 117-128, issn 0302-9743, isbn 3-540-63386-3Conference Paper

  • Page / 2