Select author: all Bodirsky, ManuelBotlan, DidierBrown, ChadBrunklaus, ThorstenDebusmann, RalphDoczkal, ChristianDuchier, DenysDudenhefner, AndrejErk, KatrinForster, YannickHenz, MartinKaiser, JonasKaminski, MarkKirst, DominikKornstaedt, LeifKuhlmann, MarcoKunze, FabianLichter, MoritzMehl, MichaelMöhl, MathiasMüller, MartinMüller, TobiasNiehren, JoachimPriesnitz, TimRossberg, AndreasSchäfer, StevenScheidhauer, RalfSchneider, SigurdSchwinghammer, JanSmolka, GertStark, KathrinStraßburger, LutzTack, GuidoTebbi, TobiasTreinen, RalfWalser, JoachimWürtz, Jörg
Parallelism and Tree Regular Constraints (pdf) Joachim Niehren, Mateu Villaret International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Login to edit