Skip to search formSkip to main content

Federated Logic Conference

Known as: FLoC 
The Federated Logic Conference (FLoC) is an international conglomeration of several mathematical logic and computer science related academic… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
A competition of solvers for Separation Logic was held in May 2014, as an unofficial satellite event of the FLoC Olympic Games… Expand
  • table 2
  • table 3
  • figure 1
Is this relevant?
2014
2014
The 2014 SMT Competition was held in conjunction with the SMT workshop, affiliated with the CAV, IJCAR, and SAT conferences at… Expand
  • table 1
  • figure 1
  • table 2
  • table 4
  • table 5
Is this relevant?
2009
2009
and Imhoff et UP. Activated sludge is developed in a treatment Operational data, on the running of the Dalton plant between plant… Expand
  • figure 1
  • figure 2
  • table 2
  • table 3
  • figure 3
Is this relevant?
2006
2006
In this chapter physical and bulk sediment characteristics were used to describe the sediments of Lake Goollelal. Two distinct… Expand
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 1.5
  • figure 1.6
Is this relevant?
2006
2006
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2004
2004
In this investigation we present an alternative for removal of heavy metals from wastewaters of a galvanic industry in Monterrey… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
Is this relevant?
2002
2002
Dr. Baikun Li is the Professor of Environmental Engineering at the University of Connecticut (UConn). She received her Ph.D. from… Expand
Is this relevant?
1995
1995
Evalua la eficacia de las tabletas chlor-floc -que actua como un floculante y desinfectante combinado- para la remocion de… Expand
Is this relevant?