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
A Feature-based Constraint System for Logic Programming with Entailment (pdf) Hassan Aït-Kaci, Andreas Podelski, Gert Smolka Theoretical Computer Science
Login to edit
