<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet type="text/xsl" href="style/detail_T.xsl"?>
<bibitem type="A">   <ARLID>0446556</ARLID> <utime>20240103210418.0</utime><mtime>20150819235959.9</mtime>         <title language="eng" primary="1">Completeness theorem for first-order algebraizable logics</title>    <serial><ARLID>cav_un_epca*0446554</ARLID><title>CLMPS 2015 &amp; LC 2015. Book of Abstracts</title><part_num/><part_title/><page_num>681-681</page_num><publisher><place>Helsinki</place><name>University of Helsinki</name><year>2015</year></publisher></serial>   <author primary="1"> <ARLID>cav_un_auth*0100737</ARLID> <name1>Cintula</name1> <name2>Petr</name2> <full_dept language="cz">Oddělení teoretické informatiky</full_dept> <full_dept language="eng">Department of Theoretical Computer Science</full_dept> <institution>UIVT-O</institution> <full_dept>Department of Theoretical Computer Science</full_dept>  <fullinstit>Ústav informatiky AV ČR, v. v. i.</fullinstit> </author> <author primary="0"> <ARLID>cav_un_auth*0293476</ARLID> <name1>Noguera</name1> <name2>Carles</name2> <full_dept language="cz">Matematická teorie rozhodování</full_dept> <full_dept>Department of Decision Making Theory</full_dept> <department language="cz">MTR</department> <department>MTR</department> <institution>UTIA-B</institution> <full_dept>Department of Decision Making Theory</full_dept>  <fullinstit>Ústav teorie informace a automatizace AV ČR, v. v. i.</fullinstit> </author>        <cas_special> <action target="WRD"> <ARLID>cav_un_auth*0318911</ARLID> <name>LC 2015. Logic Colloquium</name> <place>Helsinki</place> <dates>03.08.2015-08.08.2015</dates>  <country>FI</country> </action>   <reportyear>2016</reportyear>  <RIV>BA</RIV>     <unknown tag="mrcbC52"> 4 O 4o 20231122141103.1 </unknown> <inst_support> RVO:67985556 </inst_support> <inst_support> RVO:67985807 </inst_support>  <permalink>http://hdl.handle.net/11104/0248544</permalink>   <confidential>S</confidential>       <arlyear>2015</arlyear>    <unknown tag="mrcbTft">  Soubory v repozitáři: a0446556.pdf </unknown>    <unknown tag="mrcbU63"> cav_un_epca*0446554 CLMPS 2015 &amp; LC 2015. Book of Abstracts 681 681 Helsinki University of Helsinki 2015 </unknown> <unknown tag="mrcbU67"> Nevalainen I. 340 </unknown> <unknown tag="mrcbU67"> Virtanen M. 340 </unknown> <unknown tag="mrcbU67"> Seppälä P. 340 </unknown> </cas_special> </bibitem>