Sébastien Limet

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Efficient and systematic partitioning of large and deep neural networks for parallelization	2022-03-31	Paper
Manipulating tree tuple languages by transforming logic programs Electronic Notes in Theoretical Computer Science	2013-04-19	Paper
Rewriting Techniques and Applications Lecture Notes in Computer Science	2009-04-30	Paper
Deciding Satisfiability of Positive Second Order Joinability Formulae Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
Basic rewriting via logic programming, with an application to the reachability problem	2008-03-06	Paper
Tree tuple languages from the logic programming point of view Journal of Automated Reasoning	2007-05-03	Paper
Theoretical Aspects of Computing – ICTAC 2005 Lecture Notes in Computer Science	2006-11-01	Paper
scientific article; zbMATH DE number 1722706 (Why is no real title available?)	2002-03-21	Paper
scientific article; zbMATH DE number 1405622 (Why is no real title available?)	2000-02-23	Paper
scientific article; zbMATH DE number 1375572 (Why is no real title available?)	1999-12-09	Paper
scientific article; zbMATH DE number 1375572 (Why is no real title available?)	1999-12-09	Paper
scientific article; zbMATH DE number 1189063 (Why is no real title available?)	1999-02-04	Paper
scientific article; zbMATH DE number 1222419 (Why is no real title available?)	1998-11-11	Paper

Research outcomes over time

This page was built for person: Sébastien Limet