Login
Login
切换导航
Home
Articles
Journals
Books
News
About
Submit
Home
Journal
Articles
Journals A-Z
Browse Subjects
Biomedical & Life Sci.
Business & Economics
Chemistry & Materials Sci.
Computer Sci. & Commun.
Earth & Environmental Sci.
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sci. & Humanities
Browse Subjects
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Earth & Environmental Sciences
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Follow SCIRP
Contact us
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Complete Matching
Editorial Board
Show/Hide Options
Show/Hide Options
All
Title
Abstract
Keywords
DOI
Author
Journal
Affiliation
ISSN
Subject
Formal Logic and Carnap’s Rejection of Metaphysics: A Short Reflection
(Articles)
Michael Perrick
Open Journal of Philosophy
Vol.8 No.5
,November 29, 2018
DOI:
10.4236/ojpp.2018.85040
536
Downloads
785
Views
Citations
Formal Semantics of OWL-S with Rewrite Logic
(Articles)
Ning Huang
,
Xiaojuan Wang
,
Camilo Rocha
Journal of Software Engineering and Applications
Vol.2 No.1
,April 16, 2009
DOI:
10.4236/jsea.2009.21004
4,938
Downloads
9,045
Views
Citations
A Logical Treatment of Non-Termination and Program Behaviour
(Articles)
Martin Ward
,
Hussein Zedan
Journal of Software Engineering and Applications
Vol.7 No.7
,June 5, 2014
DOI:
10.4236/jsea.2014.77051
4,093
Downloads
4,702
Views
Citations
This article belongs to the Special Issue on
Programming Languages
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study
(Articles)
Nadeem Akhtar
,
Muhammad Nauman
Journal of Software Engineering and Applications
Vol.8 No.2
,February 12, 2015
DOI:
10.4236/jsea.2015.82006
2,794
Downloads
3,385
Views
Citations
Applying Logic and Discrete Mathematics to Philosophy of Nature: Precise Defining “Time”, “Matter”, and “Order” in Metaphysics and Thermodinamics
(Articles)
Vladimir O. Lobovikov
Open Journal of Philosophy
Vol.11 No.1
,February 5, 2021
DOI:
10.4236/ojpp.2021.111009
60
Downloads
202
Views
Citations
Formal Methods for Commercial Applications Issues vs. Solutions
(Articles)
Saiqa Bibi
,
Saira Mazhar
,
Nasir Mehmood Minhas
,
Irfan Ahmed
Journal of Software Engineering and Applications
Vol.7 No.8
,July 22, 2014
DOI:
10.4236/jsea.2014.78062
5,079
Downloads
7,060
Views
Citations
An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z
(Articles)
Nasir Mehmood Minhas
,
Asad Masood Qazi
,
Sidra Shahzadi
,
Shumaila Ghafoor
Journal of Software Engineering and Applications
Vol.8 No.8
,August 19, 2015
DOI:
10.4236/jsea.2015.88037
4,138
Downloads
5,319
Views
Citations
A Comparative Analysis of Tools for Verification of Security Protocols
(Articles)
Nitish Dalal
,
Jenny Shah
,
Khushboo Hisaria
,
Devesh Jinwala
Int'l J. of Communications, Network and System Sciences
Vol.3 No.10
,October 27, 2010
DOI:
10.4236/ijcns.2010.310104
6,667
Downloads
13,731
Views
Citations
A Comparative Study of Majority/Minority Logic Circuit Synthesis Methods for Post-CMOS Nanotechnologies
(Articles)
Amjad Almatrood
,
Harpreet Singh
Engineering
Vol.9 No.10
,October 27, 2017
DOI:
10.4236/eng.2017.910054
1,255
Downloads
2,527
Views
Citations
Paraconsistent Algorithm Extractor of Contradiction Effects -
Paraextrctr
ctr
(Articles)
Joao Inacio Da Silva Filho
,
Germano Lambert-Torres
,
Luiz Fernando Pompeo Ferrara
,
Maurício Conceição Mário
,
Marcos Rosa dos Santos
,
Alexandre Shozo Onuki
,
José de Melo Camargo
,
Alexandre Rocco
Journal of Software Engineering and Applications
Vol.4 No.10
,October 11, 2011
DOI:
10.4236/jsea.2011.410067
5,120
Downloads
8,084
Views
Citations
Treatment of Uncertainties with Algorithms of the Paraconsistent Annotated Logic
(Articles)
João Inácio Da Silva Filho
Journal of Intelligent Learning Systems and Applications
Vol.4 No.2
,May 23, 2012
DOI:
10.4236/jilsa.2012.42014
5,388
Downloads
7,973
Views
Citations
Formal Derivation of the Combinatorics Problems with PAR Method
(Articles)
Lingyu SUN
,
Yatian SUN
Journal of Software Engineering and Applications
Vol.2 No.3
,October 23, 2009
DOI:
10.4236/jsea.2009.23026
6,711
Downloads
9,831
Views
Citations
Integrating Formal Methods in XP—A Conceptual Solution
(Articles)
Shagufta Shafiq
,
Nasir Mehmood Minhas
Journal of Software Engineering and Applications
Vol.7 No.4
,April 17, 2014
DOI:
10.4236/jsea.2014.74029
4,731
Downloads
6,346
Views
Citations
Formal Verification of Robertson-Type Uncertainty Relation
(Articles)
Takaaki Masuhara
,
Toru Kuriyama
,
Masakazu Yoshida
,
Jun Cheng
Journal of Quantum Information Science
Vol.5 No.2
,June 11, 2015
DOI:
10.4236/jqis.2015.52008
3,056
Downloads
3,611
Views
Citations
Gender Differences in Formal Thinking: Their Impact on Right-Wing Authoritarianism and Religious Fundamentalism
(Articles)
K. Robert Bridges
,
Richard J. Harnish
Psychology
Vol.6 No.13
,October 19, 2015
DOI:
10.4236/psych.2015.613164
3,603
Downloads
4,243
Views
Citations
New Research Progress Review on Psychological Ownership
(Articles)
Xie Qian
Open Journal of Social Sciences
Vol.4 No.4
,April 27, 2016
DOI:
10.4236/jss.2016.44022
2,540
Downloads
3,142
Views
Citations
Impacts of Transnational Labor Migration on Learning Process: A Case Study of Nepalese Children and Women Staying Behind
(Articles)
Anchala Chaudhary
Open Journal of Social Sciences
Vol.4 No.11
,November 25, 2016
DOI:
10.4236/jss.2016.411007
1,077
Downloads
1,627
Views
Citations
The Effects of Small Crops Farmers’ Education to the Accessibility of Financing and Use Patterns of Crops
(Articles)
Zamzami
Modern Economy
Vol.8 No.12
,December 11, 2017
DOI:
10.4236/me.2017.812098
518
Downloads
800
Views
Citations
Why Low Political Participation of Rural Women in China: An Interpretation from Neo-Institutionalism Perspective
(Articles)
Cui Huang
Open Journal of Political Science
Vol.8 No.3
,July 9, 2018
DOI:
10.4236/ojps.2018.83018
733
Downloads
1,432
Views
Citations
Environmental Education in Brazil: Socio-Historical Perspectives in Formal Teaching for Sustainability
(Articles)
Francisco Arapiraca dos Santos
,
Elidinaldo da Silva Leite
,
Ricardo José Rocha Amorim
,
Dinani Gomes Amorim
Creative Education
Vol.11 No.10
,October 23, 2020
DOI:
10.4236/ce.2020.1110150
113
Downloads
256
Views
Citations
<
1
2
3
...
>
Follow SCIRP
Contact us
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Home
Journals A-Z
Subject
Books
Sitemap
Contact Us
About SCIRP
Publication Fees
For Authors
Peer-Review Issues
Special Issues
News
Service
Manuscript Tracking System
Subscription
Translation & Proofreading
FAQ
Volume & Issue
Policies
Open Access
Publication Ethics
Preservation
Retraction
Privacy Policy
Copyright © 2006-2023 Scientific Research Publishing Inc. All Rights Reserved.
Top