University of Birmingham > Talks@bham > Theoretical computer science seminar > Automata and logics on structures with data

## Automata and logics on structures with dataAdd to your list(s) Download to your calendar using vCal - Ranko Lazic, University of Warwick
- Friday 24 February 2012, 16:00-17:00
- UG40 Computer Science.
If you have a question about this talk, please contact Paul Levy. Even without continuous phenomena, words and trees over finite alphabets are sometimes insufficiently detailed models. A prominent example is processing semistructured data, which may involve attribute values from infinite domains. With such a motivation, several formalisms for reasoning about words and trees with infinitary data have recently been studied, using a variety of techniques. The emerging landscape is interesting, but careful navigation is required for avoiding undecidability and very high complexity. This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Theoretical computer science seminar
- UG40 Computer Science
- computer sience
Note that ex-directory lists are not shown. |
## Other listsSchool of Mathematics events Mathematics Colloquium Optimisation and Numerical Analysis Seminars## Other talksWave turbulence in the Schrödinger-Helmholtz equation TBA The tragic destiny of Mileva Marić Einstein Proofs of Turán's theorem Quantum Sensing in Space Ultrafast Spectroscopy and Microscopy as probes of Energy Materials |