Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Tractable conservative constraint satisfaction problems
Bulatov, A.A.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
Loading…
Model checking for probability and time: from theory to practice
Kwiatkowska, M.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
An NP decision procedure for protocol insecurity with XOR
Chevalier, Y., Kusters, R., Rusinowitch, M., Turuani, M.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
Logic in access control
Abadi, M.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
Query evaluation on compressed trees
Frick, M., Grohe, M., Koch, C.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
New directions in instantiation-based theorem proving
Ganzinger, H., Korovin, K.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
Model checking guarded protocols
Emerson, E.A., Kahlon, V.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
Dependent intersection: a new way of defining records in type theory
Kopylov, A.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
A proof theory for generic judgments: an extended abstract
Miller, D., Tiu, A.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
Revisiting digitization, robustness, and decidability for timed automata
Ouaknine, J., Worrell, J.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
Strong bisimilarity on basic parallel processes in PSPACE-complete
Jancar, P.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
Satisfiability in alternating-time temporal logic
van Drimmelen, G.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
About translations of classical logic into polarized linear logic
Laurent, O., Regnier, L.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
Homomorphism closed vs. existential positive
Feder, T., Vardi, M.Y.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
On automatic partial orders
Khoussainov, B., Rubin, S., Stephan, F.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
Loading…
Model-checking trace event structures
Madhusudan, P.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
Structural subtyping of non-recursive types is decidable
Kuncak, V., Rinard, M.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…
Reasoning about hierarchical storage
Ahmed, A., Jia, L., Walker, D.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)
Get full text
Conference Proceeding