Results 151 to 160 of about 13,172 (205)
Characteristic bisimulation for higher-order session processes. [PDF]
Acta Inform, 2017 Kouzapas D, Pérez JA, Yoshida N.
europepmc +1 more source
Algorithmic games for full ground references. [PDF]
Form Methods Syst Des, 2018 Murawski AS, Tzevelekos N.
europepmc +1 more source
Systems biology of cancer: a challenging expedition for clinical and quantitative biologists. [PDF]
Front Bioeng Biotechnol, 2014 Korsunsky I +6 more
europepmc +1 more source
Edge-level multi-constraint graph pattern matching with lung cancer knowledge graph. [PDF]
Front Big DataTu H, Li L, Tao Z, Zhang Z.
europepmc +1 more source
On The Necessity of Abstraction. [PDF]
Curr Opin Behav Sci, 2019 Konidaris G.
europepmc +1 more source