MPI-INF Logo
Campus Event Calendar

Event Entry

New for: D3

What and Who

Tree Automata with Tests and Predicate Logic

Ralf Treinen
LRI, Université Paris-Sud
Logik-Seminar
AG 1, AG 2, AG 3, AG 4  
Expert Audience
-- Not specified --

Date, Time and Location

Tuesday, 9 November 99
16:15
-- Not specified --
46.1
024
Saarbrücken

Contact

Uwe Waldmann
(0681) 9325-227
--email hidden
passcode not visible
logged in users only