Symposium on Programming (ESOP) 2013 Programming paradigms and styles: functional programming, object-oriented programming, aspect-oriented programming, logic
2 KB (269 words) - 08:06, 18 October 2023
computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic and topological semantics
4 KB (539 words) - 14:38, 13 June 2023
computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic and topological semantics
3 KB (477 words) - 14:39, 13 June 2023
Symposium on Programming (ESOP) 2011 Programming paradigms and styles: functional programming, aspect-oriented programming, object-oriented programming, logic
3 KB (427 words) - 08:12, 18 October 2023
regardless of the data model. Logic is a fundamental tool for understanding and analyzing several aspects of data management. The Logic in Databases (LID'08) symposium
5 KB (747 words) - 15:22, 19 October 2022
Symposium on Programming (ESOP) 2012 Programming paradigms and styles: functional programming, aspect-oriented programming, object-oriented programming, logic
3 KB (458 words) - 08:08, 18 October 2023
Symposium on Programming (ESOP) 2009 Programming paradigms and styles: functional programming, aspect-oriented programming, object-oriented programming, logic
3 KB (461 words) - 08:51, 18 October 2023
Symposium on Programming (ESOP) 2010 Programming paradigms and styles: functional programming, object-oriented programming, aspect-oriented programming, logic
3 KB (455 words) - 08:24, 18 October 2023
Graph Mining Implementation issues of Relational Learning Inductive Logic Programming New Relational Learning algorithms Propositionalization methods Statistical
5 KB (669 words) - 15:23, 19 October 2022
Symposium on Programming (ESOP) 2020 Programming paradigms and styles: functional programming, object-oriented programming, logic programming, constraint
5 KB (697 words) - 07:16, 18 October 2023
argumentation systems; Logics in Databases and AI: classical and non-classical logics, logic programming, description logics, spatial and temporal logics, probability
9 KB (1,251 words) - 13:32, 19 October 2022
constraint-based reasoning, constraint satisfaction technologies and constraint logic programming. Submission Authors are invited to submit a full paper of up to 12
3 KB (437 words) - 13:34, 14 December 2022
Symposium on Programming (ESOP) 2014 Programming paradigms and styles: functional programming, object-oriented programming, aspect-oriented programming, logic
4 KB (550 words) - 08:04, 18 October 2023
Symposium on Programming (ESOP) 2017 Programming paradigms and styles: functional programming, object-oriented programming, aspect-oriented programming, logic
5 KB (662 words) - 07:24, 18 October 2023
Symposium on Programming (ESOP) 2019 Programming paradigms and styles: functional programming, object-oriented programming, aspect-oriented programming, logic
4 KB (569 words) - 07:42, 18 October 2023
Symposium on Programming (ESOP) 2021 Programming paradigms and styles: functional programming, object-oriented programming, logic programming, constraint
5 KB (707 words) - 09:30, 30 August 2023
aspects of program analysis formal methods foundations of computability games and logic higher-order logic lambda and combinatory calculi linear logic logic
4 KB (620 words) - 14:13, 19 October 2022
equational logic and rewriting finite model theory higher-order logic lambda calculus and combinatory logic linear logic and other substructural logics logic
5 KB (653 words) - 12:46, 4 August 2023
theory computational proof theory logic programming and constraints lambda calculus and combinatory logic categorical logic and topological semantics domain
3 KB (433 words) - 07:28, 7 August 2023
computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain
3 KB (415 words) - 07:48, 7 August 2023
