Wyniki wyszukiwania dla: Witold Charatonik
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 358-375
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 9. Quantified Constraints > 543-557
Lecture Notes in Computer Science > Programming Languages and Systems > Regular Contributions > 177-192
Lecture Notes in Computer Science > Computer Science Logic > Verification and Model Checking > 397-412
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers, Application Papers > 311-325
Lecture Notes in Computer Science > Programming Languages and Systems > Distributed Programs: Verification and Analysis > 295-313
Lecture Notes in Computer Science > Static Analysis > Type Inference > 278-294
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Static Analysis > 109-125
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 152-167
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP96 > 76-90
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Regular Papers > 129-141
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 187-201