Results 71 to 80 of about 2,774 (93)
OASIcs, Volume 31, FSFMA'13, Complete Volume
, 2013 OASIcs, Volume 31, FSFMA'13, Complete ...
Choppy, Christine, Sun, Jun
openaire +2 more sources
OASIcs, Volume 1, WCET 2005, Complete Volume
, 2007 OASIcs, Volume 1, WCET 2005, Complete ...
openaire +2 more sources
OASIcs, Volume 22, SCOR'12, Complete Volume
, 2012 OASIcs, Volume 22, SCOR'12, Complete ...
Ravizza, Stefan, Holborn, Penny
openaire +2 more sources
OASIcs, Volume 47, WCET'15, Complete Volume
, 2015 OASIcs, Volume 47, WCET'15, Complete ...
openaire +2 more sources
Justifications and Blocking Sets in a Rule-Based Answer Set Computation [PDF]
, 2016 A. King +7 more
core
OASIcs, Volume 120, SLATE 2024, Complete Volume
OASIcs, Volume 120, SLATE 2024, Complete ...
Rodrigues, Mário +2 more
openaire +2 more sources
OASIcs, Volume 55, WCET'16, Complete Volume
, 2016 OASIcs, Volume 55, WCET'16, Complete ...
openaire +2 more sources
OASIcs, Volume 57, WCET'17, Complete Volume
, 2017 OASIcs, Volume 57, WCET'17, Complete ...
openaire +2 more sources
OASIcs, Volume 129, FMBC 2025, Complete Volume
OASIcs, Volume 129, FMBC 2025, Complete ...
Marmsoler, Diego, Xu, Meng
openaire +1 more source
OASIcs, Volume 121, WCET 2024, Complete Volume
OASIcs, Volume 121, WCET 2024, Complete ...
openaire +2 more sources