José M. Castaño

From MaRDI portal
Person:442155

Available identifiers

zbMath Open castano.jose-mMaRDI QIDQ442155

List of research outcomes





PublicationDate of PublicationType
A finite state intersection approach to propositional satisfiability2012-08-09Paper
Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability2011-07-29Paper
LR Parsing for Global Index Languages (GILs)2010-05-07Paper
Experiments on three-dimensional wall-layer scale Lorentz actuators in high-Reynolds-number axisymmetric turbulent boundary layers2010-03-18Paper
Global index grammars and descriptive power2005-04-07Paper
https://portal.mardi4nfdi.de/entity/Q44140182003-07-23Paper

Research outcomes over time

This page was built for person: José M. Castaño

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:442155&oldid=7188808"
Powered by MediaWiki