海量图书期刊资源,随时随地畅享阅读乐趣
EditorialLawall, Julia; Puebla, Germán; Vidal, Germán · Higher-Order and Symbolic Computation · 2011
Logical approximation for program analysisSimmons, Robert J.; Pfenning, Frank · Higher-Order and Symbolic Computation · 2011
Aggregation and ResiduationLeclerc, Bruno; Monjardet, Bernard · Order · 2013
Upper Maximal Graphs of PosetsCivan, Yusuf · Order · 2013
Antichain Cutsets of Strongly Connected PosetsFoldes, Stephan; Woodroofe, Russ · Order · 2013
Editorial TFP 2009/2010Zsók, Viktória; Page, Rex; Lawall, Julia · Higher-Order and Symbolic Computation · 2013
Base Tree PropertyBalcar, Bohuslav; Doucha, Michal; Hrušák, Michael · Order · 2015
Ultrafilter Extensions of Linearly Ordered SetsSaveliev, Denis I. · Order · 2015