搜索页_+Language+equivalence

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Wiley电子期刊(5)	SpringerLink电子期刊(734)	NATURE电子期刊(2)	Elsevier电子期刊(570)
Springer电子图书(5)	ProQuest学位论文(50)	GSW全文库(1)

在“Elsevier电子期刊”中，命中：570条，耗时：0.0129906 秒

在所有数据库中总计命中：1,367条

1.RQL: A Query Language for Rule Discovery in Databases

作者：Brice Chardin^a ; ^{brice.chardin@ensma.fr} ; Emmanuel Coquery^b ; ^{ecoquery@liris.cnrs.fr} ; Marie Pailloux^c ; ^{pailloux@isima.fr} ; Jean-Marc Petit^d ; ^{jmpetit@liris.cnrs.fr}

关键词：Query languages ; Formal concept analysis ; Implications ; Functional dependencies ; Query optimization ; Relational calculus

刊名：Theoretical Computer Science

出版年：2017

2.Nondeterministic fuzzy automata with membership values in complete residuated lattices

作者：Haiyu Pan^a ; ^b ; ^c ; ^{phyu76@126.com} ; Yongming Li^c ; ^{liyongm@snnu.edu.cn} ; Yongzhi Cao^d ; ^e ; ^{caoyz@pku.edu.cn} ; Ping Li^c ; ^{liping@snnu.edu.cn}

关键词：Fuzzy automaton ; Complete residuated lattice ; Heyting algebra ; Language equivalence ; Formal verification

刊名：International Journal of Approximate Reasoning

出版年：2017

3.Local testability from words to traces, a suitable definition

作者：Giovanna Guaiana ^{giovanna.guaiana@univ-rouen.fr}

关键词：Trace language ; Local testability ; Recognizability ; Star-freeness ; Congruence ; Ideal

刊名：Theoretical Computer Science

出版年：2017

4.On prefix normal words and prefix normal forms

作者：Pé ; ter Burcsi^a ; ^{bupe@compalg.inf.elte.hu} ; Gabriele Fici^b ; ^{gabriele.fici@unipa.it} ; Zsuzsanna Liptá ; k^c ; ^{zsuzsanna.liptak@univr.it} ; Frank Ruskey^d ; ^{ruskey@cs.uvic.ca} ; Joe Sawada^e ; ^{jsawada@uoguelph.ca}

关键词：Prefix normal words ; Prefix normal forms ; Binary languages ; Binary jumbled pattern matching ; Pre-necklaces ; Lyndon words ; Enumeration

刊名：Theoretical Computer Science

出版年：2017

5.Relations on words

作者：Michel Rigo ^{M.Rigo@ulg.ac.be}

刊名：Indagationes Mathematicae

出版年：2017

6.Proving language inclusion and equivalence by coinduction

作者：Jurriaan Rot^d ; ¹ ; ^{jurriaan.rot@ens-lyon.fr" class="auth_mail" title="E-mail the corresponding author} ; Marcello Bonsangue^a ; ^b ; ^{marcello@liacs.nl" class="auth_mail" title="E-mail the corresponding author} ; Jan Rutten^b ; ^c ; ^{jan.rutten@cwi.nl" class="auth_mail" title="E-mail the corresponding author}

关键词：Language equality ; Bisimulation ; Coinduction ; Bisimulation-up-to ; Deterministic automata ; Simulation

刊名：Information and Computation

出版年：2016

7.A generalization of Myhill-Nerode theorem for fuzzy languages

作者：José ; R. Gonzá ; lez de Mendí ; vil ^{mendivil@unavarra.es" class="auth_mail" title="E-mail the corresponding author}

关键词：Myhill&ndash ; Nerode theorem ; Fuzzy languages ; Fuzzy deterministic finite automata ; Right equivalence relations

刊名：Fuzzy Sets and Systems

出版年：2016

8.Learning regular omega languages

作者：Dana Angluin^a ; ¹ ; Dana Fisman^b ; ² ; ^{dana.fisman@gmail.com" class="auth_mail" title="E-mail the corresponding author}

关键词：Active learning ; Language inference ; Infinitary languages ; Membership queries ; Equivalence queries ; L⁎L⁎ ; Bü ; chi automata

刊名：Theoretical Computer Science

出版年：2016

9.LDQL: A query language for the Web of Linked Data

作者：Olaf Hartig^a ; ^{olaf.hartig@liu.se} ; Jorge Pé ; rez^b

关键词：Linked Data ; Query language ; Foundations ; SPARQL ; Queries

刊名：Web Semantics: Science, Services and Agents on the World Wide Web

出版年：2016

10.On the Degree of Equivalence of Latinate Terms in English and Slovak Linguistics

作者：Alena Kačmá ; rová ; ; ^{alena.kacmarova@unipo.sk" class="auth_mail" title="E-mail the corresponding author} ; Magdalé ; na Bilá ; Klaudia Bedná ; rová ; -Gibová ; Ingrida Vaňková ; Marcela Michá ; lková

关键词：Terminology ; equivalence ; core linguistic fields ; Latinate origin ; form semblance ; semantic content

刊名：Procedia - Social and Behavioral Sciences

出版年：2016

按检索点细分(570)

题名(21)

关键词(30)

文摘(496)

按出版年细分(570)

2027年及以后(14)

2017年(5)

2016年(25)

2015年(14)

2013年(24)

2012年(25)

2011年(21)

2010年(33)

2009年(53)

2008年(37)

2007年(32)

2006年(43)

2005年(29)

2004年(26)

2003年(25)

2002年(21)

2001年(29)

2000年(13)

2000年及以前(101)