文献

J-GLOBAL ID：201202214685855574   整理番号：12A0671384

ガード付き不動点論理のための有限充足可能性

Finite satisfiability for guarded fixpoint logic

著者 (2件)： BARANY Vince (Fac. of Mathematics, Informatics and Mechanics, Univ. of Warsaw, Banacha 2, 02-097 Warsaw, POL) ,  BOJANCZYK Mikolaj (Fac. of Mathematics, Informatics and Mechanics, Univ. of Warsaw, Banacha 2, 02-097 Warsaw, POL)
資料名： Information Processing Letters  (Information Processing Letters)
巻： 112  号： 10  ページ： 371-375  発行年： 2012年05月31日 
JST資料番号： E0513A  ISSN： 0020-0190  資料種別： 逐次刊行物 (A)
発行国： オランダ (NLD)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： ガード ,  不動点 ,  論理 ,  充足可能性